Nicolas Magaud      Senior Research Associate (2003-2005)      School of Computer Science and Engineering      The University of New South Wales      Sydney, Australia.

I used to be a member of the PLS team and I was involved in Sec, a project about Untrusted Code, Security and Proofs.
My work mainly focused on machine-independent code certification.

I did my PhD (2000-2003) at INRIA Sophia-Antipolis / Lemme (see my old web page there).

If you really want to know, my Erdös number is 3: Nicolas Magaud/Paul Zimmermann/Gérald Tenenbaum/Paul Erdös

Overview of the Sec project presented at an ERTOS seminar, april 2004. An introductory lecture about the Coq proof assistant, together with some demos (or_commute.v, tree.v, coins.v, mod2.v,dep.v) Dependently Typed Programming in the Coq Proof Assistant. Talk presented at Dagsthul , during the seminar Dependently Typed Programming, sept. 2004. Programming with Dependent Types in Coq: a Study of Square Matrices.

Kangaroos,more kangaroos, clownfishes, a shark, a turtle, me and the turtle. North West Island (Dec'04 Reef Trip)

Last modified: Tue Oct 18 02:21:42 EST 2005