Difference between revisions of "Radu Iosif"

From Numerical Transition Systems
Jump to: navigation, search
(PhD Students/Alumni)
Line 13: Line 13:
  
 
* Looking for PhD students and interns (click here for a description of [[internship subjects]]) [[File:new.jpg]]
 
* Looking for PhD students and interns (click here for a description of [[internship subjects]]) [[File:new.jpg]]
* [[Recent publications]] ([http://www.informatik.uni-trier.de/~ley/pers/hd/i/Iosif:Radu.html DBLP])
+
* [[Recent publications]] ([https://dblp.org/pid/81/5510.html DBLP])
 
* [[Software|Contributed software]]
 
* [[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])
 
* 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])

Revision as of 11:54, 21 December 2020

Radu.jpg

CNRS Researcher
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

Research

Projects

Teaching

PhD Students/Alumni

Events