|
LaBRI 351 cours de la Libération 33405 Talence Cedex France Tel : +33 5 4000 35 09 Office 264 |
ENSEIRB-MATMECA 1 av. du Dr Albert Schweitzer 33402 Talence Cedex France Tel : +33 5 56 84 23 57 Office 213 |
I am the author of Mec 5, a model-checker for AltaRica models. This model-checker is released in the public domain.
Check out the BINCOA project which aims at verifying binary programs.
Here are my publications.
Last year, I was teaching a part of Operating Systems II, for the department of informatics of the university of Warsaw.
I am part of the NetBSD project, a very nice UNIX-like operating system.