Radu Mateescu

Address:

Inria Grenoble - Rhône-Alpes / CONVECS
Inovallée
655, avenue de l'Europe - Montbonnot
F-38334 Saint Ismier
FRANCE
Email: Radu.Mateescu@inria.fr
Phone: +(33) (0)4 76 61 54 86
Fax: +(33) (0)4 76 61 52 52
Web: http://convecs.inria.fr/people/Radu.Mateescu

[ Curriculum | Research | Teaching | Software | Committees | Awards | Publications ]

Curriculum

Research

My main research topics concern the specification and verification of temporal properties of concurrent systems. As regards specification, I am interested in temporal logics and mu-calculi extended with data-handling primitives, which are well-adapted for specifying properties of concurrent systems described using action-based, value-passing formal languages stemming from process algebras. As regards verification, I am interested in various techniques and algorithms: on-the-fly model checking and equivalence checking, diagnostic generation, partial order reduction, massively parallel verification, ...

I was the chairman of the FMICS (Formal Methods for Industrial Critical Systems) Working Group of ERCIM from November 2011 until October 2014.

Teaching

Software

I contribute to the development of the CADP toolbox for the specification and verification of communication protocols and distributed systems, as author of several verification tools:

Committees

Awards

Publications

Journals:

Book chapters:

Conferences and workshops:

Reports:

Theses: