Now I am a postdoc with Mike Hicks, and I am working on Type coercions for program rewriting.
I did my Phd at the
MSR-INRIA Joint Centre under the direction of
Francesco Zappa Nardelli
and
Cédric Fournet.
I received my License d'Informatique and Master's
MPRI
from the University Paris 6.
My research interests focus on typed programming languages and security.
Publications
-
Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks:
Lightweight Monadic Programming in ML
TR
To appear in ICFP, September 2011.
-
K. Bhargavan, C. Fournet, N. Guts:
Typechecking Higher-Order Security Libraries
In APLAS'10, vol. 6461 of LNCS, pp.47-62, Springer, 2010.
-
N. Guts, C. Fournet, F. Zappa Nardelli:
Reliable Evidence: Auditability by Typing.
In ESORICS'09, vol. 5789 of LNCS, pp.168-183, Springer, 2009.
-
C. Fournet, N. Guts, F. Zappa Nardelli:
A Formal Implementation of Value Commitment.
In ESOP'08, vol. 4960 of LNCS, pp.383-397, Springer, 2008.
-
F. Peschanski, A. Darrasse, N. Guts, J. Bobbio:
Coordinating Mobile Agents in Interaction Spaces,
Science of Computer Programming, vol. 66, pp. 246-265, Elsevier, 2007.
