Michel Hirschowitz

Vous préferez enFrançais?

After a wonderful period of tremendous happiness in the "Preuves Programmes et Systèmes" PPS lab at the Paris 7 university, I graduated my PhD thesis under the supervision of Vincent Danos. At that time I used to work in game semantics, linear logic, and category theory fields, even though until those days as soon as I have some day off, I still try to work on it straight away. Ever since I worked in the EADS Common Research Center near from Paris for a kind of very unusual spy movie which last six months in the land of 007 I was handling the role of an intrepid code obfuscation researcher.

Contact

Here and now, I am no longer a PhD student at PPS (tears) neither a researcher at EADS, I am for almost a year at the Software Reliability Laboratory at the Atomic Energy Commission CEA where I'm working with Franck Vedrine and against Nicolas Ayache on hardware system models verification using abstract interpretation and theorem proving techniques.

My e-mail address at PPS is still valid and fits to surname.name@pps.jussieu.fr, as all other members in this lab.

Publications and writings

Writings

My thesis:

Trifle remaining apart~:

Not truly publications, but just talks or typescripts:

Transparents

Et sinon, les transparents de quelques exposés:

    à venir

Miscallenous

Manu likes the concept of stylesheets (or CSS in the jargon of W3C), because they allow a clear separa tion of the form and the content. For instance, if you've had enough of the default style of this page, you can try a variant of it, or the one I used previously, or something more flashy, people with good taste might also like Lynx emulation, all this without changing anything in the HTML code.

This page is written in xhtml and css, it is best viewed without Comic Sans.
See also: Home, Publications, Teaching, Software.
Office 133 Building 528 (tel: 01 69 08 50 26)
CEA SACLAY
91191   GIF SUR YVETTE