Members

Simon Busard

Contact Information

Simon Busard
PhD Student
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: Simon [period] Busard [snail] uclouvain [period] be

Simon Busard

Biography

Simon Busard is a PhD student since September 2010 and works as a research assistant in the Computer Science and Engineering Department at Université catholique de Louvain in Belgium. His research concerns the enrichment of diagnostic information in symbolic model checking and the model checking of uniform strategies in multi-agent systems.

Tags
,

Publications

Talks