Robert De_Simone

Name: Robert De_Simone

Organisation: I.N.R.I.A
Research Unit: Sophia Antipolis

E-Mail: Robert.De_simone@sophia.inria.fr
Phone: 33 4 92 38 79 41
Fax: 33 4 92 38 79 98
Personnal Web Page: Not yet available

Position: INRIA Director of Research – INRIA Tick project head

Research Activities: Formal verification

Teaching Activities: Formal verification ISIA