Sebastian Uchitel

Sebastián Uchitel


Prospective students

If you are looking for supervision for your MSc/Licenciado thesis, you can find some projects I am interested in here: (Spanish). If you are interested in pursuing a PhD, send me an email. 


My research interests are in the broad area of Automated Software Engineering. I focus on foundational aspects that can be exploited in tools for supporting automated reasoning, tools for which a body of meta-properties proven mathematically and experimentally exist. Currently, my main research threads are related to discrete event controller synthesis and AI planning applied to robotics, adaptive systems, requirements engineering and business process management. 

My daughter's take on my research.


There are various sources from where my publications can be listed: dblp, Google Scholar, Microsoft Academic Search.

Much of the research I am involved feeds into and is validated by tools we build. Most of my more recent work gets implemented as part of MTSA that supports partial behaviour model specification and analysis and also controller synthesis techniques. Other tools are not so well packaged but are available via my students and collaborators.

Professional Societies

  • Senior Member of the Institution of Electrical and Electronic Engineers
  • Distinguished Scientist of the Association for Computing Machinery
  • Member of the IFIP Working Group 2.9. on Software Requirements Engineering

Selected Awards and Honours

Selected External Activities​

Student supervision