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,
et le dm,
à rendre pour le 11 décembre 2018, 13h00;
et son corrigé;
l'examen
et son corrigé.
- Logique et informatique.
Le devoir
à la maison, à rendre pour le mardi 09 avril 2019.
et son 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
2019,
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.
Le sujet avec corrigé de l'examen 2019.
- 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
- 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
