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.