Jean Goubault-Larrecq
Full Professor
- 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!
- I'm rarely putting any lecture note here, see the French version of this Web page instead.
- 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 HimML 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 mostly in HimML.
- A few recent talks:
- 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).
