Sebastian Uchitel

Prospective students

If you are looking for supervision for your 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 applied to robotics and adaptive systems,

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

  • Member of the National Academy of Exact, Physics and Natural Sciences, 2020.
  • Bernardo Houssay Prize, Ministry of Science, 2015
  • Konex Foundation Awards, 2013
  • StG Award, ERC, 2009..
  • Argentine National Academy of Exact, Physics and Natural Sciences Anual Award, 2008
  • Philip Leverhulme Prize, Leverhulme Trust, 2005
  • Newly Appointed Lecturers Award, Nuffield Foundation, 2004

Selected External Activities

Student supervision