Université catholique de Louvain
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.