|
|
| |
|
|
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
|
|
|
| |
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
Back