Emmanuel LetierView profile
Associate Professor
Dr. Emmanuel Letier is an Associate Professor in Software Engineering at University College London (UCL), specializing in requirements engineering and software architecture. His research focuses on stakeholder goal analysis, formal reasoning techniques, and uncertainty management in software development. University College London, Department of Computer Science Research areas: Requirements Engineering, Software Architecture, Formal Methods, Uncertainty Analysis His work explores how to bridge stakeholder goals with software requirements using natural language, formal logic, and mathematical models. Key contributions include model checking, synthesis tools, and Bayesian analysis applications for managing technical debt and software evolution. Recent publications span AI-based systems requirements, app review mining for requirements elicitation, and uncertainty handling in self-adaptive systems. Notable awards include Best Paper Award (ACM SIGSOFT 2004) Best Paper Award (IEE 2003) Distinguished Paper Award (RE'11)









