Axel van Lamsweerde is Full Professor at the Department of Computing Science of the Université catholique de Louvain, Belgium, where he heads the software engineering group. He has been research associate at Philips Research Labs and professor at the universities of Namur, Brussels and Louvain (Belgium). He has also been research fellow at the University of Oregon and the Computer Science Laboratory of SRI International (Menlo Park, CA). He is co-founder of two software technology transfer centers supported by the EU Objective 1 program.
His research interests are in precise techniques for requirements engineering, high assurance systems, lightweight formal methods, process engineering and knowledge-based software development environments. Since 1991 he has been instrumental in the development of the KAOS goal-oriented requirements engineering language, method and toolset.
van Lamsweerde has been editor-in-chief of the ACM Transactions in Software Engineering and Methodology (TOSEM) and program chair of major international software engineering conferences including ESEC'91 and ICSE'94. He was invited keynote speaker at ICSE'2000 and is an ACM Fellow.