Sebastian Uchitel

About

I am a Full Professor at the Department of Computing, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires and a Principal Researcher for CONICET. I also hold a Readership at the Department of Computing, Imperial College London, UK. I am affiliated to Universidad de San Andres and I am a visiting professor at the Japanese National Institute of Informatics.

I head the LaFHIS - Laboratory on Fundamentals and Tools for Software Engineering.

Research

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.

Publications

Publications can be found on dblp and Google Scholar.

Much of the research I am involved in feeds into and is validated by tools we build. Most of my more recent work gets implemented as part of MTSA, which 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

Currently (Co-)Supervised PhD Students:

  • Tiberiu Andrei Georgescu, Imperial College London
  • Hernan Galgliardi, Universidad de Buenos Aires
  • Florencia Zanollo, Universidad de Buenos Aires
  • Alexis Soifer, Universidad de Buenos Aires
  • Juan Felipe Perdomo, Universidad de Buenos Aires

Past (Co-)Supervised PhD Students: