Members

José Vander Meulen

Contact Information

José Vander Meulen
Alumni
UCL / EPL / ICTEAM / INGI
Place Sainte Barbe, 2
1348 Louvain-la-Neuve
Belgium

Office: Réaumur A.143 (1st floor)
Phone: +32 10 47 91 05
Fax: +32 10 45 03 45
Email: Jose [period] Vandermeulen [snail] uclouvain [period] be -> mailto:Jose [period] Vandermeulen [snail] uclouvain [period] be

Biography

José Vander Meulen

José Vander Meulen was a researcher at LVL from 2006 to 2012. He worked as a teaching assistant in the Computer Science and Engineering Department at Université catholique de Louvain in Belgium. His research concerns mainly the symbolic model checking, as well as the partial order reduction methods. He completed his PhD in April 2012.

Tags
, , ,

Publications

Talks


Tags Tags: , , ,