Radu Iosif

<css>

1. column-content {margin: 0 0 .6em 0;}
2. content {margin: 2.8em 0 0 0;}
3. p-logo, .generated-sidebar, #p-lang, #p-tb, #p-search {

  display:none;

}

1. p-cactions { left: .1em; }
2. footer { display:none; }
3. mw_content { margin-left:0.2em; }

</css>

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

• 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