Radu Iosif

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

Office 279, IMAG building, Université Grenoble Alpes,
CS 40700, 38058 GRENOBLE CEDEX 9

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

Email: Radu [dot] Iosif [at] univ-grenoble-alpes [dot] fr !!! Please mind the change in the address !!!

Research

• Recent publications (DBLP)
• Contributed software
• Habilitation thesis "Automata and Logics for Program Verification" (video)

Projects

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

Teaching

• Logic and Automata Theory

PhD Students/Alumni

• Xiao Xu (2015 -- to date)
• Cristina Serban (2014 -- to date)
• Filip Konecny (2009 -- 2012, now at NetSuite, Brno) "Relational Verification of Programs with Integer Data"
• Jiri Simacek (2009 -- 2012, now at NetSuite, Brno) "Harnessing Forest Automata for Verification of Heap Manipulating Programs"

Events

• Infinite Systems Verification Day September 29th 2016, Grenoble
• IJCAR 2014 July 19-22 2014, Vienna
• Alpine Verification Meeting 2014