I am an associate professor (Maître de Conférence) in Computer Science at Cnam in the SyS team of the Cedric lab. Before that I was (in reverse chronological order):

In the past, I worked in the fields of type and proof theory, namely on proof certificates, incremental type-checking and sequent calculus. I am particularily interested in:


Teaching

2018-2019

2017-2018

2016-2017 (Cnam)

2015-2016 (ESIEE)

I was a TA (chargé de TD) at ESIEE for René Natowicz, teaching introductory Algorithmics

2014 (McGill)

Here are the material for two lectures for COMP302 at McGill University in 2014:

2010-2013 (Paris Diderot)

During my A.T.E.R contract at Paris Diderot, I taught the following classes:


Research

You will find below some of my work:

Publications

Theses and technical reports

Talks


Blog

I try to keep a public journal of my scientific activity, which takes the form of a blog, called Syntax!. You can find it here.


Code

I initiated and contributed to various open-source projects. Most of the repositories can be found on my GitHub page. These include:


Contact

Mail: matthias.puech@lecnam.net

Physical address: Cnam
Bureau 33.1.18a
2 rue Conté
75003 Paris, France

PGP public key:

-----BEGIN PGP PUBLIC KEY BLOCK-----

mQENBE27/FUBCAD1shU1BnoxN6WnCBEHPkf44cPpbR695ZUgwxrLWbaJMUC24mXR
X6Eq4U1erj36Kuj1ECS7o4r9541umem5sSmBiEZqz9xtNwxvCPPNjDIvVEtg6ZB3
eCO4LbZL31BJlPqKkOvK8sGg7AFHS6YGCLpPU0PQ4ZN09xUX4yJ4sWdfop8adoJC
qKJualKYN7+0Kos94vrKbR7Lj19gfvVQrQZqHpMUz/MPnfARhgWHP5nTB82SjQiT
KpjdJAzoDZCbQ0zlAPkKn/o7s+n6c3lBhxqoyyQzZzdPxBPmYjMwuhv7boel8TOX
ioZ95NCykkGR52MS0kpjZCEVxMiaNBrwQgDFABEBAAG0KU1hdHRoaWFzIFB1ZWNo
IDxtYXR0aGlhcy5wdWVjaEBnbWFpbC5jb20+iQE4BBMBAgAiBQJNu/xVAhsDBgsJ
CAcDAgYVCAIJCgsEFgIDAQIeAQIXgAAKCRD+2y6WgKusuhDyCACKyYnq4J5jCqyp
4JFe0KIBE6KANFcGTwENYqID9/7c3nL7kK8oZBEwL3WFvz4MixynmBmbRNJoyDGE
Ntnt1NdknjR4eRKpr9elSfhwc2RUnuUd0iqc7q5GMkB8nBW+5kv/5vTfoEWGzxen
jiwSfDo2GAG/ubE/wp4tjYGwBJOwjVMi9zB4ivOywvTqRR2amr7v+Ncs9EWv/TpY
fbAtbC7IzWwDt3N4Zb3SdO1hDW0LAUGG+wn67oSyFIitTUZHVz6jFmSXGPy6Ajn9
nf3bd4Y/u6U+HboIAmmiUpeuBNP8bQKfS6sXWQqeheVYD+htJGnWs0PceuFm58IK
8OyOqfxLuQENBE27/FUBCADulSzL1e3o93GuyRlkQ74yH8FVsK5y8Sw/lW3fN83o
TwUamFX/GWqqzm1mObNa9XfYtxp4am4wl+i/mk9jnBVfGkqK76bzoGb06y0hAw8N
y5PxhgN6Bicv7oP9pz2Qdw/NZspx8qGsVY+YoJpL8C/iYscJMEFAdWJmr7BJP/9d
VrE7xk5xZ53TBRQv1z8S8hhOp+jw8ohURNNncjGTrLYi6HDVTuFOi1gsMtvKSGoW
To6Hk/xsatr/x1DUwQ0gABv/wvM8s5VeCfRBRTJTz42/kS33ByRTFC6gZvrAvdW6
bTamVFYzhwxbm0/bqYUvwV7Rrmlik6seSOe+Mlde6V09ABEBAAGJAR8EGAECAAkF
Ak27/FUCGwwACgkQ/tsuloCrrLoUlwf/cDhz3WeQnonBYflCdHFkEi1kniSpvb9P
9zNBaAgv1vVFYRpkcdkIiiZIlSW0GeOr8uqYc7pAu3976XA6tWVi3bNx57FM+om4
/FwRjJdfkebhebKI/Dww3YaGgkIls6phVQbZcAJgermCPBYfz6bOQD41gh76XGJF
BemQPPqLStSnBt5R9+4+aPR5oGjDv2lbQPRqC+DqaNGtM97fJTKhTbTXHjFN3JsC
M4ECNemUUvKqLCOZaCwfUyZO1b45u0NtOVqrJRCdkMxlmkqbhmdpE0eij/c4oGjT
pprjH/wvL+UT+IiyNx4NGenttNJq/BWOv9FO8SRRDIj+OxDe41pQJw==
=INHw
-----END PGP PUBLIC KEY BLOCK-----
      

Online: LinkedIn | Facebook | Twitter | Soundcloud | Youtube | Last.fm