~~NOCACHE~~ <columns 100% 20% tl 50% tc 3% tr 27% tl-> {{::mz.jpg?nolink&100|}} <newcolumn> Researcher, [[https://www.labri.fr|LaBRI]] CS Lab, [[https://www.u-bordeaux.fr|Bordeaux University]].\\ Member of the [[http://www.labri.fr/index.php?n=MF.MF|Formal Methods]] team at LaBRI.\\ Professor of Computer Science, Bordeaux University. <newcolumn r> 📧\\ 📱\\ ###⌂###\\ ###✉### <newcolumn l> [[mz@labri.fr]]\\ +33 (0)5 4000 6094.\\ Office A30, 202.\\ LaBRI, Université Bordeaux,\\ 351 cours de la Libération,\\ F-33405 Talence Cedex. </columns> ===== Research ===== <columns 100% 60% tl 40% tl-> ==== Main interests ==== * Logics, automata, expressiveness problems, finite models. * Formal languages, links with algebra and topology. * Algorithms for finite automata. * Quantitative automata and games. * Automatic verification, software model checking. * Distributed and infinite systems. <newcolumn> ==== Links ==== * [[https://delta.labri.fr|ANR Delta]]. * [[http://www.stacs-conf.org|STACS Conference]]. * [[http://www.societe-informatique-de-france.fr|SIF]], [[http://eatcs.org|EATCS]]. * [[https://www.gdr-im.fr|GDR IM]] et [[http://gdrim2015.labri.fr|Journées 2015]]. * Some [[talks|talks]]. </columns> ==== Publications ==== * ++All publications|[publist|file:../../../../research/bibtex/all.bib|wiki:file:byyear.tpl]++ * Only ++Journal articles|[publist|file:../../../../research/bibtex/articles.bib|wiki:file:articles.tpl]++ * Only ++Conference proceedings|[publist|file:../../../../research/bibtex/inproceedings.bib|wiki:file:inproceedings.tpl]++ ===== Enseignement ===== ==== Supports d'enseignement 2020-21 ==== * Introduction à la vérification, M1 info * [[https://www.labri.fr/perso/zeitoun/enseignement/20-21/Verif/IntroductionVerification.pdf|Diapos introductives]], * [[https://www.labri.fr/perso/zeitoun/enseignement/20-21/Verif/Cours-TD-2021.pdf|Notes de cours et exercices]]. /******* * [[http://www.lsv.fr/Publis/PAPERS/PDF/bouyer-etr05.pdf|Article]] et [[http://www.lsv.fr/~bouyer/files/movep14.pdf|diaporama]] de Patricia Bouyer sur les automates temporisés, * [[https://www.labri.fr/perso/zeitoun/enseignement/19-20/Verif/DM-verif-1920.pdf|Devoir à la maison]], * [[https://www.labri.fr/perso/zeitoun/enseignement/19-20/Verif/WSTS.pdf|Article]] et [[https://www.labri.fr/perso/zeitoun/enseignement/19-20/Verif/WSTS-sujet.pdf|exercices]] sur les systèmes bien structurés. *****/ * Techniques algorithmiques et programmation, L3 info, MI & CMI, TD. * [[https://dept-info.labri.fr/~gavoille/UE-TAP/|Page]] du cours de Cyril Gavoille. * [[https://www.labri.fr/perso/zeitoun/enseignement/20-21/TAP/td-tsp.pdf|Notes]] du premier TD (attention : erreurs et typos éventuelles non corrigées). * Page d'Aurélien Esnard sur l'[[https://esnard.gitlabpages.inria.fr/stage-env/|environnement de travail]], en particulier pour travailler à distance. * [[https://moodle1.u-bordeaux.fr/course/view.php?id=7495|Logiques et langages]], Master 2 AM/VL/GL. * [[https://www.labri.fr/perso/zeitoun/enseignement/20-21/CSI/pmwiki.php|Théorie de la complexité]], Master 1 CSI. * [[https://www.labri.fr/perso/zeitoun/enseignement/20-21/CAPES/pmwiki.php|Préparation CAPES maths]], Master 1 MEEF. * [[https://www.labri.fr/~zeitoun/enseignement/20-21/CHS/pmwiki.php|Informatique]], Licence 3 Culture Humaniste & Scientifique. /******* * [[https://www.labri.fr/perso/zeitoun/enseignement/19-20/CAPES-MEEF/Algo-CAPES-MEEF.pdf|Diapos de cours]]. * [[https://www.labri.fr/perso/zeitoun/enseignement/19-20/CAPES-MEEF/TD.pdf|Exercices de TD]]. * [[https://www.labri.fr/perso/zeitoun/enseignement/19-20/CAPES-MEEF/TP.pdf|Exercices de TP en Python]]. ******/ /******* * [[https://www.labri.fr/~zeitoun/enseignement/19-20/CHS/pmwiki.php|Informatique]], Licence Culture Humaniste & Scientifique. ******/ ==== Supports d'enseignement 2019-20 ==== * DIU Informatique * [[https://www.labri.fr/perso/zeitoun/enseignement/19-20/DIU|Page locale]] (vidéos calculabilité, transparents arbres). ==== Sites et textes sur l'enseignement de l'informatique ==== * L'informatique sans ordinateur: [[http://csunplugged.org/sites/default/files/books/CS_Unplugged-fr.pdf|CS Unplugged]]. * Blog [[http://binaire.blog.lemonde.fr|binaire]]. * [[https://science-info-lycee.fr|Science informatique au Lycée]]. * Association [[http://www.epi.asso.fr|Enseignement public & informatique]] * Liens sur la page du cours [[http://www.labri.fr/perso/zeitoun/enseignement/13-14/CHS/index.php/Main/HomePage#chslinks|Licence CHS]]. * [[https://mathsamodeler.labri.fr/pmwiki.php|Math à modeler]] en Aquitaine /* * Logique et langages, M2 AMF IF & GL. [[https://www.labri.fr/~zeitoun/enseignement/14-15/AMF-IFGL/DM.pdf|Devoir]]. * Modeling Techniques, M2 AMF ESSV. * [[https://www.labri.fr/~zeitoun/enseignement/14-15/CHS/|Informatique]], Licence Culture Humaniste & Scientifique. (nbsp) ----- ====== Other interests ====== Piano playing, mountain trekking, running, sport, reading, travelling, ceramics. */