Skip to main content

Michael RUSINOWITCH

  •  CV
  •  Publis
  •  Équipe
  •  Projets
  •  Contact
    • Infos de contact
    • Plan d’accès
  •  Perso
    • Pages statiques
    • Mon blog

Wellcome !

7 mars 201617 juin 2016 Thierry GARTISER

Member of Pesto team  in  Nancy

Research activities: security, formal methods, automated deduction (see also Cassis)

LINKS

7 mars 201621 juin 2016 Thierry GARTISER

some useful links

unknown

Michaël Rusinowitch

Function :
Senior Researcher at Inria
Contact :
rusi@loria.fr
Tel.+33 (0)3.83.59.30.20
Bureau A209
615 rue du jardin botanique
54600 Villers lès Nancy

mars 2023
L M M J V S D
 12345
6789101112
13141516171819
20212223242526
2728293031  
« Mar    

INRIA CORPO RVBLORIA LOGOCNRS LOGOUniv Lorraine LOGO

  • Mentions légales
sparkling Thème par Colorlib. Propulsé par WordPress