Mathieu Sassolas
Contact info

- Post-doc at the Computer Science department of Université Libre de Bruxelles
- Formal Methods and Verification team
- Member of the inVEST ERC project
- Physical address: Office N. 8. 207 (building N.O., 8th floor), Campus de la Plaine, Brussels.
- Postal address: ULB - Campus de la Plaine, Boulevard du Triomphe, CP212, 1050 Brussels BELGIUM.
- E-mail address: mathieuDOTsassolasATulbDOTacDOTbe
- Phone: {+32|0} 2 650 58 57
