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