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.
- 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:
- "Circuit Verification: the BDD Revolution", an accessible presentation of binary decision diagrams, 2012. Also available in keynote format (Mac).
- "Full Abstraction for Non-Deterministic and Probabilistic Extensions of PCF", Domains X, Swansea, September 2011.
- "A Few Pearls in the Theory of Quasi-Metric Spaces\
", TACL'11, Marseilles, July 2011.
- "The Powerdomain of Continuous Random Variables", LICS, Toronto, Canada, June 2011.
