Positions:


Ongoing Projects:


Courses:


Research visits:


Software:

  • EasyInterface: A toolkit for the rapid development of GUIs for research prototype tools.
  • iRankFinder: A termination analyser for (integer) transition systems.

Jesús' social

Quick Links

Recent News