View source for Radu Iosif

[[File:Radu.jpg|left]]

[http://www.cnrs.fr CNRS] Researcher (CR1) <br />
[http://www-verimag.imag.fr/PACSS.html?lang= Proofs and Code Analysis for Safety and Security] Team <br />
[http://www-verimag.imag.fr/ VERIMAG] Laboratory

Office 279, [https://batiment.imag.fr/ IMAG building], Université Grenoble Alpes, <br /> CS 40700, 38058 GRENOBLE CEDEX 9 <br />

Tel: +33 (0)4 57 42 22 21  <br />

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

=== Research ===

* [[Recent publications]] ([http://www.informatik.uni-trier.de/~ley/pers/hd/i/Iosif:Radu.html DBLP])
* [[Software|Contributed software]]
* Habilitation thesis [http://nts.imag.fr/images/6/6c/Hdr.pdf "Automata and Logics for Program Verification"] ([http://newstream.imag.fr/2016-09-29_Infinite-Systems-4.mp4 video])

=== Projects ===

* [http://vecolib.imag.fr/index.php/Main_Page VECOLIB] (2014-2018)
* [https://sites.google.com/site/veridyc/ VERIDYC] (2009-2013)
* [http://www.lsv.ens-cachan.fr/Projects/rntl-averiles/ AVERILES] (2006-2009)
* [http://www-verimag.imag.fr/~iosif/projects/ACI/aci-dynamo.html DYNAMO] (2003-2006)

=== Teaching ===

* [[Lat|Logic and Automata Theory]]

=== PhD Students/Alumni ===

* Xiao Xu (2015 -- to date)
* [http://www-verimag.imag.fr/~serban/ Cristina Serban] (2014 -- to date)
* Filip Konecny (2009 -- 2012, now at NetSuite, Brno) [https://tel.archives-ouvertes.fr/tel-00805599/ "Relational Verification of Programs with Integer Data"]
* Jiri Simacek (2009 -- 2012, now at NetSuite, Brno) [https://tel.archives-ouvertes.fr/tel-00805794/ "Harnessing Forest Automata for Verification of Heap Manipulating Programs"]

=== Events ===

* [[Infinite Systems Verification Day]] September 29th 2016, Grenoble
* [http://cs.nyu.edu/ijcar2014/ IJCAR 2014] July 19-22 2014, Vienna
* [[AVM_2014|Alpine Verification Meeting 2014]]