Mathieu Jaume, MdC HDR - Contact Informations
Organization:
UPMC /
LIP6 /
SPI
E-mail:
Mathieu.Jaume@lip6.fr
Address:
LIP6 - Université Pierre et Marie Curie,
Boîte Courrier 169, 4 place Jussieu,
75252 Paris Cedex 05
Phone:
(+33/0) 1 44 27 51 28
Office:
25-26 519
Research interest
-
Formal models of security policies,
FoCaLize environment, Formal
methods (specifications, proofs), Logical Frameworks, Semantics of
programming languages.
- Publications
- ANR SSURF project : Safety and Security UndeR Focal (2007 - 2010)
Teaching
More information ... (in french)