Radu Iosif

CNRS Researcher (CR1)

Distributed and Complex Systems Group

VERIMAG Laboratory

Centre Equation
2 Avenue de Vignate
38610 GIERES, France

Tel: +33 (0)4 56 52 04 33
Fax: +33 (0)4 56 52 03 44

Radu [dot] Iosif [at] imag [dot] fr

Research

• Program Verification
• Recent publications (DBLP)
• Contributed software

Projects

• VERIDYC (2009-2013)
• AVERILES (2006-2009)
• DYNAMO (2003-2006)

Teaching

• Logic and Automata Theory

Students/Alumni

• Filip Konecny (EPFL, Lausanne)
• Jiri Simacek (NetSuite, Brno)
• Florent Garnier (MathWorks, Paris)

Events

• Alpine Verification Meeting 2014