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:
- English, by a real Frenchman
- 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 GimML
- 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 dans sa quasi-totalité en GimML.
- Quelques exposés récents, ou moins récents:
- A
journey through the semantics of higher-order probabilistic
languages,domain theory, and topology, exposé au
séminaire annuel du LMF, 13 juin 2023.
- Topological
functors and Cartesian-closed categories, exposé
(en visio) au séminaire de topologie
catégorique, Benemérita
Universidad Autónoma de Puebla, Puebla, México, 24 mai 2023.
- On
completeness for Kantorovich Rubinstein quasi-metrics,
exposé
invité à la 9ème symposium
international sur la théorie des domaines
(ISDT'22),
online, 4-6 juillet 2022, Singapore.
- Continuous R-valuations,
exposé
à la 9ème symposium
international sur la théorie des domaines
(ISDT'22),
online, 4-6 juillet 2022, Singapore.
- Noetherian
spaces, wqos, and their statures, exposé
invité à la 10ème Conference on Topology, Algebra, Categories in
Logic
(TACL'22),
20-24 juin 2022, Coimbra, Portugal.
- Is
there a Fubini-Tonelli-type theorem for continuous valuations
on Dcpo?, séminaire à
l'université du Hunan, Changsha, Hunan, Chine, 14 avril 2022.
- 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
- Tâches et responsabilités diverses:
responsable
du groupe
topologie (interactions) du LMF (2020-), du
cursus M2
MPRI à l'université Paris-Saclay (2021-),
du M2
MPRI lui-même (2024-);
membre de la
commission formation
du labex Digicosme (2016-2022),
du comité de mention informatique des masters de
l'université Paris-Saclay (2021-);
membre du comité
du prix de
thèse Ackermann de l'EACSL (2019-);
membre du comité de pilotage de l'EACSL (2021-).
- Plus anciennement: responsable de la préparation à
l'option D (informatique) du concours de l'agrégation en
mathématiques, à l'ENS Paris-Saclay (2017-2021);
coprésident du comité de
programme de FOSSACS'2020 et coéditeur du numéro
spécial du
journal LMCS pour
cette conférence (avec Barbara König); coprésident du comité de
programme de CSL'2021
(avec Christel
Baier).
