Welcome to my home page. I am a CNRS Researcher member of the Laboratoire PPS at the Department of Mathematical Sciences and Department of Computer Science of the Université Paris 7 - Denis Diderot. I also interact with the Mathematical Components team of the MSR & INRIA joint centre.
Mathematical logic, proof theory, game semantics, theory and practice of programming languages, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, operads. My ambition is to connect these topics.
Bureau 5A35
175, rue du Chevaleret
75013 Paris
Access to the building
phone: 00 33 1 57 27 92 48
fax: 00 33 1 57 27 92 97
email: mellies@pps.jussieu.fr
Laboratoire PPS
Université Paris 7 - Denis Diderot
Case 7014
75205 Paris Cedex 13 FRANCE
I recently gave a series of four lectures at the Oregon Programming Languages Summer School. You may have a look at the slides of my lectures here.
The book with Pierre-Louis Curien and Jean-Louis Krivine at the interface between mathematical logic and programming languages semantics is finished. My own section, devoted to the categorical semantics of linear logic, appears here. Your comments are welcome.
You may have a look at my LICS paper on computational effects and the Segal condition, including an algebraic reconstruction of the state monad after Plotkin and Power.
Nick Benton and I organize the workshop LOLA devoted to the syntax and the semantics of low level languages. This satellite workshop of the LICS conference will take place at Edinburgh on July 9, 2010.
Andrzej Murawski, Andrea Schalk, Igor Walukiewicz and I organize a summer school on Game Semantics and Program Verification which will take place at Dagstuhl from June 20 to June 25, 2010.
I gave a series of three lectures at the Hopf-in-Lux conference on Hopf algebras, which took place in Luxembourg, from July 13 to July 17, 2009.
I was an invited speaker of the Topology, Algebra and Categories in Logic conference, which took place in Amsterdam, from July 7 to July 11, 2009.
The 60th birthdays of Martin Hyland and Peter Johnstone have been celebrated during the recent Peripatetic Seminar on Sheaves and Logic taking place in Cambridge on April 4 and 5, 2009.
I was invited by the Logic and Geometry of Cognition group in Roma Tre, to give a week-long course on 2-dimensional algebra and string diagrams for PhD students and researchers coming from logical and mathematical backgrounds. The slides appear here.
I was an invited speaker at the workshop on Games for Logic and Programming Languages (GaLoP) which will take place from 29 March to 6 April 2008 in Budapest.
In April 2007, I was an invited speaker at the Fields Institute workshop Recent advances in category theory and logic: Applications of traces to algebra, analysis and categorical logic in Ottawa.
In May 2007, I was an invited speaker at the workshop Linear Logic, Ludics, Implicit Complexity, Operator Algebras in Siena, celebrating the 60th birthday of the French logician Jean-Yves Girard.
I was a member of the Programme Committee of the Computer Science and Logic conference which took place in Lausanne, in September 2007.
I took part to the Summer School on Contemporary Categorical Methods in Algebra and Topology which took place in June 2007 in Hautes-Bodeux, a small village in the middle of the belgian Ardennes.
Together with Anca Muscholl, I organized the «Ecole de Printemps en Informatique Théorique» devoted to Games in Semantics and Verification. The event took place at l'Ile de Ré in June 2006.
