Contact Informations
Charles Morisset, Postdoctoral fellow
United Nations University - International Institute for
Software Technologies
Address: UNU-IIST, P.O. Box 3058, Macao SAR
Email: morisset [at] iist.unu.edu
Research interests
I defended my PhD thesis on the 24th of September 2007 on the definition
of a semantical framework for access control systems at the Université
Pierre et Marie Curie - Paris 6, supervised by Thérèse
Hardin and Mathieu Jaume. This thesis has been
reviewed by Pierre-Yves Schobbens (Université de Namur) and
Luca Viganò (Università di Verona) and can be
downloaded (only in French) in the publications
section.
I am now working within the rCOS project.
My research field includes formal methods, especially theorem proving,
and security.