Axel van Lamsweerde (born 1947) is a Belgian computer scientist and Professor of Computing Science at the Universite catholique de Louvain, known for his work on requirements engineering and the development of the KAOS goal-oriented modeling language.
[1][2] Van Lamsweerde received his MS in Mathematics from the Université catholique de Louvain and his PhD in computing science from the Université libre de Bruxelles.
In 1980 he was appointed Professor at the Université de Namur, and later also professor at the Université libre de Bruxelles, and research fellow at the University of Oregon and Stanford.
Late 1990s he was appointed Professor of Computing Science at the Universite catholique de Louvain, where he also directed the Software Engineering group in the "Departement d'Ingenierie Informatique".
[3] The research interests of Van Lamsweerde are in the fields of "precise techniques for requirements engineering, system modeling, high assurance systems, lightweight formal methods, process modeling and analysis, medical safety, and knowledge-based software development environments.