Jean Goubault-Larrecq
Professor, ENS Paris-Saclay
Mail: jgl@lmf.cnrs.fr
Phone: +33 (0)1 81 87 54 42
Office: 2S59, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
- Selected Publications
- In the editorial board of LMCS.
- My GPG public key (but beware of spoofing...)
- The general topology blog. This serves as a collection of supplements to my book, "Non-Hausdorff Topology and Domain Theory - Selected Topics in Point-Set Topology", Cambridge University Press.
- A few open problems. I am looking for bright students: if you think you can solve one, please get in touch with me!
- Lecture notes, in brief Programming and semantics (L3), Graph algorithms (L3), *Computability (L3), Logic and computer science - the lambda-calculus (L3), Advanced complexity theory, see also here if anything is missing from the previous page (M1), <a https://www.lsv.fr/~goubault/BD/bd1.html">Theory of databases</a> (M2 FESUP - agrégation), Algorithmic aspects of the theory of well-quasi-orders (M2 MPRI), lambda-calculus for the agrégation. More details on the French version of this Web page.
- English, by a real Frenchman
- Some ongoing projects. Beware! I've got a tendency to try and write a few pages on a given topic to get things straight, then it ends as a book...
- Le Pavé ("cobblestone"): A wonderful theory of games, belief functions, plausibilities, and previsions in a topological setting: pdf. I am planning to rewrite everything, as a book, in English. My topology book will serve as foundations.
- The ORCHIDS page. ORCHIDS is a real-time, multi-event, multi-source intrusion detection tool based on efficient temporal model-checking algorithms. Get in touch with me if you are interested.
- the GimML language
- The H1 tool suite: a set of tools for handling finite tree automata, set constraints, doing automated deduction in the decidable class H1. Written almost exclusively in GimML.
- A few recent or less recent talks:
** A journey through the semantics of higher-order probabilistic languages,domain theory, and topology, talk at the yearly seminar of LMF, June 13th, 2023.- Topological functors and Cartesian-closed categories, talk (video) at the seminar on Categorical Topology, Benemérita Universidad Autónoma de Puebla, Puebla, México, May 24th, 2023.
- On completeness for Kantorovich Rubinstein quasi-metrics, invited talk at the 9th International Symposium on Domain Theory (ISDT'22), online, July 4-6th, 2022, Singapore.
- Continuous R-valuations, contributed talk at the 9th International Symposium on Domain Theory (ISDT'22), online, July 4-6th, 2022, Singapore.
- Noetherian spaces, wqos, and their statures, invited talk at the 10th Conference on Topology, Algebra, Categories in Logic (TACL'22), June 20-24, 2022, Coimbra, Portugal.
- Is there a Fubini-Tonelli-type theorem for continuous valuations on Dcpo?, seminar given at Hunan University, Changsha, Hunan, China, April 14th, 2022.
- A probabilistic and non-deterministic call-by-push-value language Δ, talk at the LICS 2019 international conference, Vancouver, BC, Canada; see also the long version Δ of the same talk
- Domain-complete and LCS-complete spaces Δ, invited talk at the International Symposium on Domain Theory (ISDT), Yangzhou, Jiangsu, Chine, 2019
- Previsions=powercones, invited talk at the International Symposium on Domain Theory (ISDT), ShiJiaZhuang, Hebei, Chine, 2017
- A semantics for ∇, Dale Miller Festschrift, Paris, France, 2016
- On the complexity of monitoring Orchids signatures, Runtime Verification conference, Madrid, Spain, 2016
- A few things on Noetherian spaces, plenary invited talk, 31st Summer Topology Conference, Leicester, UK, 2016
- An introduction to asymmetric topology and domain theory: why, what and how, invited talk, Galway Colloquium, Leicester, UK, 2016
- Formal balls, invited talk, Domains XII, Cork, Ireland, 2015
- The VJGL lemma, invited talk, mini-workshop 38 "Well-quasi orders: from theory to applications" of the Jahrestagung der deutschen Mathematiker-Vereinigung, Hamburg, Germany, 2015<!--
- Noetherian spaces Δ, invited talk at the CCC'14 workshop, September 18, 2014.
- Does mathematical rigor have its place in intrusion detection? Δ, invited talk at FPS 2013, Oct. 21, 2013. Also in keynote Δ format (Mac).
- Full abstraction for non-deterministic and probabilistic extensions of PCF Δ, talk on the occasion of Pierre-Louis Curien's 60th birthday, Venice, Italy, Sep. 09, 2013. This is a gentler version of "Full Abstraction for Non-Deterministic and Probabilistic Extensions of PCF" Δ, Domains X, Swansea, September 2011.
- A constructive proof of the topological Kruskal theorem Δ, invited talk at MFCS 2013, Aug. 26, 2013. Also in keynote Δ format (Mac).
- A few pearls in the theory of quasi-metric spaces Δ, semi-plenary talk at the 2013 Summer Topology Conference, North Bay, Ontario, Canada, July 25, 2013. Updated version of "A few pearls in the theory of quasi-metric spaces\ " Δ, TACL'11, Marseilles, July 2011.
- A short proof of the Schröder-Simpson theorem Δ, talk at the Asymmetric Topology Session of the 2013 Summer Topology Conference, North Bay, Ontario, Canada, July 25, 2013.
- "Circuit Verification: the BDD Revolution" Δ, an accessible presentation of binary decision diagrams, 2012. Also available in keynote Δ format (Mac).
- "The Powerdomain of Continuous Random Variables" Δ, LICS, Toronto, Canada, June 2011.!-->
- Miscellaneous tasks and duties: head of the topology group (interactions) at LMF (2020-), of the M2 MPRI curriculum at University Paris-Saclay (2021-), of the M2 MPRI programme itself (2024-); member of `commission formation' of the Digicosme labex (2016-2022), of the `comité de mention informatique des masters' of University Paris-Saclay (2021-); member of the Ackermann outstanding dissertation award of the EACSL (2019-); member of the steering committee of the EACSL (2021-).
- Earlier: in charge of preparation to agrégation option D computer science at ENS Paris-Saclay (2017-2021); PC cochair of FOSSACS'2020 and coeditor of the associated special issue of the journal LMCS (with Barbara König); PC cochair of CSL'2021 (with Christel Baier).