Below we illustrate the composition of the MoVES network. These teams are all representative Belgian research units that work on fundamental issues in modelling, verification, and evolution of software. If you would like to get in touch with one of the research units then you can either contact them directly or through the network coordinator.
![]() |
|
Belgian Network Members | |
---|---|
Vrije Universiteit Brussel Prof. Dr. Theo D’Hondt (Network Coordinator) |
|
Universiteit Antwerpen Prof. Dr. Serge Demeyer |
|
Université catholique de Louvain Prof. Dr. Kim Mens |
|
Université Libre de Bruxelles Prof. Dr. Thierry Massart |
|
Facultés Universitaires Notre-Dame de la Paix Namur Prof. Dr. Pierre-Yves Schobbens |
|
Université de Liège Prof. Dr. Bernard Boigelot |
|
K.U. Leuven Prof. Dr. Wouter Joosen |
|
Université de Mons Prof. Dr. Tom Mens |
|
International Network Members | |
INRIA Lille - Nord Europe Prof. Dr. Laurence Duchien |
|
Imperial College Prof. Dr. Sebastian Uchitel |
|
Technische Universiteit Delft Prof. Dr. Arie van Deursen |