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

Aymeric VINCENT

Maître de conférences
E-mail: vincentàlabri.fr

Research

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.

Enseignement/Teaching

Last year, I was teaching a part of Operating Systems II, for the department of informatics of the university of Warsaw.

NetBSD

I am part of the NetBSD project, a very nice UNIX-like operating system.