Axel van Lamsweerde

Axel van Lamsweerde (born 1947) is a Belgian computer scientist and Professor Emeritus of Computing Science at the Université catholique de Louvain, renowned for his contributions to requirements engineering and the development of the KAOS goal-oriented modeling language[1][3]. His research focuses on precise techniques for system modeling, high assurance systems, and lightweight formal methods[1].