Sebastián Uchitel

Sebastián Uchitel is a Full Professor at the Department of Computing, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, where he serves as head of LaFHIS (Laboratory on Fundamentals and Tools for Software Engineering). He is also a Principal Researcher for CONICET (National Scientific and Technical Research Council of Argentina), a professor at the Department of Computing, Imperial College London, UK, and a visiting professor at the Japanese National Institute of Informatics.

Professor Uchitel's research focuses on Automated Software Engineering with emphasis on foundational aspects that can be exploited in tools for supporting automated reasoning. His current research threads include discrete event controller synthesis and AI planning applied to robotics, adaptive systems, requirements engineering, and business process management. Much of his work is implemented through the MTSA tool, which supports partial behavior model specification, analysis, and controller synthesis techniques.

His notable scientific awards include:

• Member of the National Academy of Exact, Physics and Natural Sciences (2020)
• Bernardo Houssay Prize from the Ministry of Science, Argentina (2015)
• Konex Foundation Awards (2013)
• StG Award from the European Research Council (2009)
• Philip Leverhulme Prize from Leverhulme Trust (2005)
• Newly Appointed Lecturers Award from Nuffield Foundation (2004)
• 2023 Amazon Research Award for Abstractions for Validating Distributed Protocol Reference Implementations

Professor Uchitel actively supervises PhD students, with four current students at institutions including Universidad de Buenos Aires and Instituto Balseiro. He has previously supervised 13 PhD students to completion. His professional activities include serving as Senior Member of the Institution of Electrical and Electronic Engineers, Distinguished Scientist of the Association for Computing Machinery, and Member of the IFIP Working Group 2.9 on Software Requirements Engineering. He has held significant editorial roles including Board Member of Communications of the ACM (2018-2020) and Associate Editor in Chief of IEEE Transactions on Software Engineering (2006-2010).

He leads LaFHIS laboratory, which focuses on developing fundamental techniques and tools for software engineering, with particular emphasis on formal methods, model-based techniques, and automated reasoning approaches applicable to various software engineering tasks.