Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at http://www.ucl.ac.uk/finance/research/post_award/post_award_contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
 More search options
Dr Emmanuel Letier
Malet Place Eng Bldg 7.18
Dept. of Computer Science
Gower Street
  • Senior Lecturer
  • Dept of Computer Science
  • Faculty of Engineering Science

I have a PhD in Software Engineering from the University of Louvain in Belgium, an engineering degree in Applied Mathematics and a one-year degree in Philosophy from the same university. After my PhD, I had a postdoctoral research fellowship from the FNRS, the Belgian National Research Fund until I joined UCL.

Research Summary

My research is in systems requirements engineering. This deals with the hardest single part of developing software systems, which is to discover what people really need of the software (if they even need a software at all) and communicating those needs precisely enough to all parties involved in its development and verification.

In my research, I develop techniques and tools for modelling stakeholders’ goals, reason about them, and relating them to precise specification of software functional and quality requirements. I’m also interested in the intertwined relations between requirements and software architecture. Most of my research has been concerned with safety-critical systems. I’m now increasingly interested in large-scale, continuously evolving systems-of-systems, particularly those with important social and environmental goals.

Teaching Summary

I'm currently teaching the following modules:

GS01/4014 Systems Requirements Engineering --- This is a course for advanced undergraduate and master students where I teach a goal-oriented approach to requirements engineering. This course is partly based on my research on the KAOS goal modelling language.

GS03/4023 Validation & Verification --- This is a course for advanced undergraduate and master students on software testing and formal verifiation. I teach the formal verification part covering verification of state-based models in Alloy, model-checking, and the basics of program verification based on Hoare Logic.

Please report any queries concerning the data shown on this page to https://www.ucl.ac.uk/hr/helpdesk/helpdesk_web_form.php
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by