Radu Iosif

CNRS Researcher (CR1)
Proofs and Code Analysis for Safety and Security Team
VERIMAG Laboratory

Office 279, Bâtiment IMAG, Université Grenoble Alpes,
CS 40700, 38058 GRENOBLE CEDEX 9

Tel: +33 (0)4 57 42 22 21

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

Research

• Recent publications (DBLP)
• Contributed software
• "Automata and Logics for Program Verication" habilitation thesis

Projects

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

Teaching

• Logic and Automata Theory

Students/Alumni

• Xiao Xu (Phd, 2015 -- to date)
• Cristina Serban (PhD, 2014 -- to date)
• Filip Konecny (PhD, now at NetSuite, Brno)
• 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