Radu Iosif

From Numerical Transition Systems

Revision as of 14:36, 28 April 2013 by Radu iosif (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

File:Radu 1.jpg

CNRS Researcher (CR1)

Distributed and Complex Systems Group

VERIMAG Laboratory

Contents

1 Research
2 Projects
3 Teaching
4 Events

Research

Projects

VERIDYC (2009-2013)
AVERILES (2006-2009)
DYNAMO (2003-2006)

Teaching

Logic and Automata Theory

Events

Alpine Verification Meeting 2014

Retrieved from "http://nts.imag.fr/index.php?title=Radu_Iosif&oldid=152"

Pages with broken file links