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

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

Research

• A talk on program verification (pdf)
• Recent publications (DBLP)
• Contributed software

Projects

• VECOLIB (2014-2018)
• VERIDYC (2009-2013)
• AVERILES (2006-2009)
• DYNAMO (2003-2006)

Teaching

• Logic and Automata Theory

Students/Alumni

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

Events

• IJCAR 2014 July 19-22, 2014, Vienna
• Alpine Verification Meeting 2014