Mikołaj Bojańczyk
profesor nauk matematycznych
Specjalność: logika, teoria automatów
Alma Mater

Uniwersytet Warszawski

Doktorat

2004 – informatyka
Uniwersytet Warszawski

Habilitacja

2008 – informatyka
Uniwersytet Warszawski

Profesura

2014

Nauczyciel akademicki
Uczelnia

Uniwersytet Warszawski

Mikołaj Bojańczyk (ur. 8 czerwca 1977) – polski matematyk, informatyk i logik, profesor nauk matematycznych. Specjalizuje się w teorii automatów, zastosowaniach logiki matematycznej w informatyce, a w szczególności badaniem drzew. Profesor nadzwyczajny w Instytucie Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego.

Życiorys

Stopień doktorski uzyskał w 2004 na podstawie pracy pt. Rozstrzygalne własności języków drzew, przygotowanej pod kierunkiem prof. Igora Walukiewicza. Habilitował się cztery lata później (2008) na podstawie dorobku naukowego i rozprawy pt. Klasyfikacja regularnych języków drzew. Tytuł naukowy profesora nauk matematycznych otrzymał w 2014. Na macierzystym Wydziale Matematyki, Informatyki i Mechaniki UW pracuje w Zakładzie Logiki Stosowanej Instytutu Informatyki. Profesorem UW został w wieku 32 lat. Wykłada m.in. języki, automaty i obliczenia oraz alfabety nieskończone.

Jest laureatem dwóch prestiżowych grantów European Research Council (ang. ERC, Europejska Rada ds. Badań Naukowych). W 2009 otrzymał grant w kategorii Starting Grant (projekt SOSNA), natomiast w 2015 - jako pierwszy Polak - w kategorii Consolidator Grant (projekt LIPA).

Swoje prace publikował w takich czasopismach jak m.in. „Logical Methods in Computer Science", „Journal of the ACM", „Theory of Computing Systems" oraz w serii „Lecture Notes in Computer Science".

W 2006 otrzymał Nagrodę im. Witolda Lipskiego. Rok później (2007) został zaś wyróżniony Nagrodą im. Kazimierza Kuratowskiego, najbardziej prestiżową polską nagrodą dla młodych matematyków. W 2010 jako pierwszy został uhonorowany Presburger Award, nagrodą przyznaną przez European Association for Theoretical Computer Science. Laureat Nagrody Narodowego Centrum Nauki 2016.

Członek Polskiego Towarzystwa Matematycznego oraz członek Rady Narodowego Centrum Nauki w kadencji 2016-2018.

Przypisy

  1. ↑ prof. dr hab. Mikołaj Bojańczyk. mimuw.edu.pl. [dostęp 2017-02-02].
  2. ↑ Prof. dr hab. Mikołaj Bojańczyk, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-06-19].
  3. 1 2 3 Informatyczna sosna. uw.edu.pl, 17 listopada 2014. [dostęp 2016-06-18].
  4. ↑ prof. dr hab. Mikołaj Bojańczyk. usosweb.uw.edu.pl. [dostęp 2016-06-18].
  5. ↑ SOSNA - Expressive Power of Tree Logics. cordis.europa.eu. [dostęp 2016-06-19]. (ang.).
  6. ↑ Prof. Mikołaj Bojańczyk otrzymał prestiżowy grant ERC. naukawpolsce.pap.pl, 11 grudnia 2015. [dostęp 2016-06-18].
  7. ↑ Informatyk bada drzewa. newsweek.pl, 19 listopada 2010. [dostęp 2016-06-18].
  8. ↑ LIPA - A unified theory of finite-state recognisability. cordis.europa.eu. [dostęp 2016-06-19]. (ang.).
  9. ↑ Mikołaj Bojańczyk (cytowania). scholar.google.pl. [dostęp 2016-02-15].
  10. ↑ Mikołaj Bojańczyk (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-06-18].
  11. ↑ Mikołaj Bojańczyk (publikacje). mimuw.edu.pl. [dostęp 2017-02-02].
  12. ↑ Archiwum prezentacji laureatów. nagrodalipskiego.mimuw.edu.pl. [dostęp 2016-06-18].
  13. ↑ Presburger Award. eatcs.org. [dostęp 2016-06-19]. (ang.).
  14. ↑ Skład Rady NCN w kadencji 2016-2018. ncn.gov.pl. [dostęp 2016-12-22].

Linki zewnętrzne

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.