INPT-ENSEEIHT/IRIT


Y
amine AIT-
AMEUR
Wew Page

Home

Teaching

Research

Resources

Since Septmeber 2011, I joined the ACADIE research group at IRIT. My research activities focus on the deployment of formal methods for the formal verification and validation of software, hardware and/or hybrid systems. One of my specific research activities relates to ontology based modelling of systems.

My research topics:

Some application domains of interest :

To contact me:

Ecole Nationale Supérieure d'électronique, d'électrotechnique, d'Informatique,
d'Hydraulique et de Télécommunications

Institut deRecherche enInformatique de Toulouse

Yamine AIT-AMEUR
Professor

INPT-ENSEEIHT/IRIT
Building F. Office F306
2, Rue Charles Camichel. BP 7122.
31071 Toulouse CEDEX 7. France

yamine@n7.fr

(+33/0) 5 34 32 22 55