
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
- Member of the National Academy of Exact, Physics and Natural Sciences, 2020
- Bernardo Houssay Prize, Ministry of Science, Argentina, 2015
- Konex Foundation Awards, 2013
- StG Award, European Research Council, 2009
- Philip Leverhulme Prize, Leverhulme Trust, 2005
- Newly Appointed Lecturers Award, Nuffield Foundation, 2004
Selected External Activities
- Editor in Chief, IEEE Transactions on Software Engineering, 2022–2024
- Board Member, Communications of the ACM, ACM, 2018–2020
- Board of Directors, YPF, 2012–2015
- Associate Editor in Chief, IEEE Transactions on Software Engineering, 2006–2010
- General Chair, International Conference on Software Engineering, Buenos Aires, 2017
- Associate Editor, IEEE Transactions on Software Engineering, 2006–2010
- Associate Editor, Springer Requirements Engineering Journal, 2008–2018
- Associate Editor, Elsevier Science of Computer Programming, 2013–2018
- Program co-Chair, International Conference on Automated Software Engineering, Tokyo, 2006
- Program co-Chair, International Conference on Software Engineering, Cape Town, 2010
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: