Cédric Fournet
publications
Microsoft Research/
Cambridge/programming
principles and tools
MSR-INRIA joint centre/
secure distributed computations
SecPAL
Samoa: formal tools for securing web services
Zing
Cω
and
Polyphonic C#
the
join-calculus (INRIA)
contact
internships in Cambridge