Axel Van Lamsweerde

ACM Fellows

Belgium - 2000

citation

For wide spectrum research contributions, from parallel program synthesis to software engineering environments to requirements engineering. Contributions to the software engineering community in Europe and worldwide.