Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Aymeric Vincent's home page
[go: Go Back, main page]
LaBRI
351, cours de la Libération
33405 Talence Cedex
France

Room 264
Phone: +33 (0) 5-40-00-35-09
E-mail: vincentàlabri.fr

Aymeric VINCENT

Maître de conférences
ENSEIRB
1, avenue du Docteur Albert Schweitzer
33402 Talence Cedex
France

Room 213
Phone: +33 (0) 5-56-84-23-57
E-mail: vincentàenseirb.fr

Research

I am the author and maintainer of Mec 5, a model-checker for AltaRica models. This model-checker is always released in the public domain.

I also did some work in the field of synthesis of controllers, and I am quite interested in mu-calculus and parity games.

Here are my publications.

Enseignement (Teaching)

NetBSD

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