Jean Goubault-Larrecq
Professeur
- Ma clé publique GPG (mais attention au spoofing...)
- Le blog de
topologie générale, servant de supplément
à mon livre, "Non-Hausdorff Topology and Domain Theory -
Selected Topics in Point-Set Topology", paru chez Cambridge University
Press.
- Quelques problèmes
ouverts. Je cherche de très bons étudiants:
si certains de ces problèmes vous intéressent, et vous
pensez pouvoir les résoudre, contactez-moi!
- Quelques cours courants:
- Le
cours de programmation 1.1.
- Le cours
d'algorithmique 1.2: algorithmique de graphes.
- Logique
et informatique.
Epidémie de Covid-19: le cours
du 17
mars 2020 (en pdf);
celui du 24
mars 2020 (aussi en format
pdf);
celui du 31
mars 2020 (en pdf);
celui du 21
avril 2020 (en pdf);
celui du 28
avril 2020 (en pdf);
et puis celui
de toutes
les séances restantes.
Le devoir
à la maison, à rendre pour le mercredi 06 mai
2020, et le corrigé.
Les transparents
portant sur la non-non traduction, la A-traduction, et le
théorème de Kreisel-Friedman, présentés
lors du cours 2017.
L'examen
2020, son patron LaTeX,
et son corrigé.
- Complexité avancée, première année du MPRI. Les deux moitiés du poly: Classes de complexité en espace, alternance et tutti quanti, et classes de complexité randomisées.
L'examen aura lieu le mercredi 15 janvier 2020 en salle C321 (salle
usuelle) de 9h à 12h. Tous documents écrits autorisés (le poly est
recommandé), pas de téléphone, d'ordinateur, de tablette.
Le sujet avec corrigé de l'examen 2020.
- Le cours de cryptographie (avec les transparents) du séminaire Regards Croisés mathématiques-physique, qui sert d'introduction à la cryptographie. La suite, sur les protocoles cryptographiques, sera donnée par Stéphanie Delaune, et la fin, sur la cryptographie quantique, sera par Frédéric Grosshans.
- Quelques projets en cours. Attention: j'ai une tendance à vouloir
écrire deux ou trois pages sur un sujet pour me fixer les idées, et ça
termine en livre...
- Le Pavé: Une magnifique théorie des jeux, crédibilités, plausibilités, et prévisions dans un cadre topologique: en pdf.
J'ai comme plan de tout réécrire et compléter, sous forme de livre (en anglais). Mon livre de topologie servira de base mathématique au projet.
- ORCHIDS
un logiciel de détection d'intrusions temps réel, multi-événements, multi-sources,
fondé sur une approche efficace de model-checking de logique temporelle. Contactez-moi si vous êtes intéressés.
- le langage HimML
- La suite H1: une bibliothèque d'automates d'arbres finis, de contraintes ensemblistes, de démonstration automatique pour la classe décidable H1. Ecrit principalement en HimML.
- Quelques exposés récents:
- A probabilistic and non-deterministic
call-by-push-value language, exposé à la
conférence internationale LICS 2019, Vancouver, BC,
Canada; voir aussi la version longue de la
même présentation.
Une video de ma
présentation au séminaire 68NQRT (merci à
Khalil Ghorbal! au fait,
il paraît que ça ne fonctionne pas sous Safari, pour
une raison mystérieuse et inexpliquée, mais Chrome
ou Firefox sont contents.)
- Domain-complete and LCS-complete
spaces, exposé invité à la conférence
internationale ISDT (International Symposium on Domain Theory),
Yangzhou, Jiangsu, Chine, 2019
- Previsions=powercones,
exposé invité à la conférence
internationale ISDT (International Symposium on Domain Theory)
ShiJiaZhuang, Hebei, Chine, 2017
- A semantics for ∇,
Festschrift Dale Miller, Paris, France, 2016
- On the complexity of monitoring Orchids
signatures, conférence Runtime Verification, Madrid,
Espagne, 2016
- A few things on Noetherian
spaces, exposé invité plénier à la
31ème
Summer Topology Conference, Leicester, UK, 2016
- An introduction to asymmetric
topology and domain theory: why, what and how, exposé
invité au
Galway
Colloquium, Leicester, UK, 2016
- Formal balls, exposé
invité, Domains
XII, Cork, Irlande, 2015
- The VJGL lemma, exposé
invité, mini-workshop 38 "Well-quasi orders: from theory to
applications" de la Jahrestagung der deutschen
Mathematiker-Vereinigung, Hambourg, Allemagne, 2015