Mikołaj Bojańczyk

Mikołaj Bojańczyk

Biographie

Naissance	8 juin 1977 (47 ans)
Nationalité	Polonais
Domicile	Pologne
Formation	Université de Varsovie
Activités	Informaticien, mathématicien

Autres informations

A travaillé pour	Université de Varsovie
Directeurs de thèse	Igor Walukiewicz (d), Andrzej Włodzimierz Mostowski (d)
Site web	www.mimuw.edu.pl/~bojan
Distinction	Prix Presburger

modifier - modifier le code - modifier Wikidata

Mikołaj Bojańczyk, né en 1977, est un informaticien théoricien et logicien polonais, professeur à l'université de Varsovie.

Biographie scientifique

Bojańczyk obtient en 2004 un doctorat de l'université de Varsovie. Il passe l'année 2004-2005 à l'université Paris-Diderot. Il obtient une habilitation à l'université de Varsovie en 2008[1] et est professeur titulaire à cette université depuis 2014. Bojańczyk est le premier récipiendaire du prix Presburger en 2010[2]. Il a d'ailleurs réuni un certain nombre de documents sur Presburger[3].

Thèmes de recherche

Bojańczyk travaille sur l'interaction entre les formalismes logiques et les diverses familles d'automates finis. Il est connu pour ses contributions à la théorie des automates cheminants[4],[5] avec Thomas Colcombet (en), et pour de nombreuses autres contributions à la logique en théorie des automates[6],[7]. Il a travaillé sur le problème de la hauteur d'étoile : il présente une simplification de la preuve de la décidabilité[8], en 2015, article détaillé sur arxiv[9] en 2017. Il s'intéresse à la logique monadique du second ordre sur les graphes dans le cadre de la théorie de Courcelle, il étend la logique avec un quantificateur U pour pouvoir formuler des expressions, toujours sur les graphes ; il a introduit et étudié des langages réguliers sur les monads. Il étudie, dans une série d'articles, des data words et data trees, généralisations au cas d'alphabets infinis. Enfin, il développe, à l’université de Varsovie, un projet appelé Atoms, motivé initialement par l'étude d'automates sur les data words et data trees. Un livre est en cours de rédaction, disponible sur le site[10].

Notes et références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Mikołaj Bojańczyk » (voir la liste des auteurs).

1. (en) « Mikolaj Bojanczyk », sur le site du Mathematics Genealogy Project
2. « Presburger Award », sur European Association for Theoretical Computer Science.
3. Mojzesz Presburger à Varsovie.
4. Mikołaj Bojańczyk et Thomas Colcombet, « Tree-walking automata cannot be determinized », Theoretical Computer Science, vol. 350, n^os 2-3,‎ 2006, p. 164–173 (DOI 10.1016/j.tcs.2005.10.031)
5. Mikołaj Bojańczyk et Thomas Colcombet, « Tree-Walking Automata Do Not Recognize All Regular Languages », SIAM Journal on Computing, vol. 38, n^o 2,‎ 2008, p. 658–701 (DOI 10.1137/050645427, lire en ligne)
6. Mikołaj Bojańczyk et Paweł Parys, « XPath Evaluation in Linear Time », Journal of the ACM, vol. 58, n^o 4,‎ 2011, p. 17:1–17:33 (DOI 10.1145/1989727.1989731, lire en ligne)
7. Mikoaj Bojańczyk, Anca Muscholl, Thomas Schwentick et Luc Segoufin, « Two-variable Logic on Data Trees and XML Reasoning », Journal of the ACM, vol. 56, n^o 3,‎ 2009, p. 13:1–13:48 (DOI 10.1145/1516512.1516515, lire en ligne)
8. Mikolaj Bojanczyk, « Star Height via Games », ACM/IEEE Symposium on Logic in Computer,‎ 2015, p. 214–219 (DOI 10.1109/LICS.2015.29)
9. Star Height via Games
10. Atom book.

Liens externes

• Site officiel
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Google Scholar
  • Mathematics Genealogy Project
  • Nauka Polska
• Notices d'autorité :

  • VIAF
  • LCCN
  • Israël
  • NUKAT
  • WorldCat
• Page de Bojańczyk à l’université de Varsovie
• Mikołaj Bojańczyk sur Google Scholar
• Publications de Mikołaj Bojańczyk sur DBLP
• Mikołaj Bojańczyk sur Zentralblatt MATH
• (en) « Mikolaj Bojanczyk », sur le site du Mathematics Genealogy Project