Sebastian Uchitel
Sebastián Uchitel
LaFHIS - Laboratory on Fundamentals and Tools for Software Engineering, CONICET and Computing Department, FCEN, University of Buenos Aires
About
 |
I am the Director of the Computer Science Research Institute (ICC) of the University of Buenos Aires and CONICET. I am also the head of LaFHIS - Laboratory on Fundamentals and Tools for Software Engineering. 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. |
|
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 applied to robotics and adaptive systems, code abstractions for validation and testing, and program slicing
My daughter's take on my research.
Publications
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:
- MTSA supports partial behaviour model specification and analysis and also implements various controller synthesis techniques
- Contractor supports automated abstraction of contract specifications and code (in C and .Net).
- 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
Recent Awards and Honours
- Bernardo Houssay Prize, Ministry of Science, 2015
- Konex Foundation Awards, 2013
- Software Engineering Foundation Award, Microsoft Research, 2010
- Argentine National Academy of Exact, Natural and Physical Sciences, 2008
- IBM Faculty Award, 2006
- Philip Leverhulme Prize, Leverhulme Trust, 2005
- Newly Appointed Lecturers Award, Nuffield Foundation, 2004
Current External Activities
- Advisory Board, Fundacion Sadosky, 2011 -
- Steering Committee Member, International Conference on Software Engineering, 2007 -
- Board Member, Communications of the ACM, ACM, 2018
Past External Activities
- Board of Directors, YPF, 2012-2015.
- 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 Chair, Automated Software Engineering Conference (ASE), 2010
- Steering Committee Member, Conference on Automated Software Engineering, 2006-2009
- Program co-Chair, International Conference on Automated Software Engineering, Tokyo, 2006
- Program co-Chair, International Conference on Software Engineering, Cape Town, 2010.
PhD Students and Postdocs
- Currently (Co-)Supervised PhD students:
- Leandro Nahabedian, University of Buenos Aires
- Mariano Cerrutti, University of Buenos Aires
- Sebastian Zudaire, Insituto Balseiro
- Ivan Postolski, Univeristy of Buenos Aires
- Alexis Soifer, University of Buenos Aires
- Past (Co-) Supervised PhD students
