Research thematic

My research focuses on formal methods, especially:

Short CV


News

Sheduled talks

Publications

We can find my publication list on DBLP.

Implementation

I have the following projects:

Students

Agenda