Mikołaj Bojańczyk

Mikołaj Bojańczyk
profesor nauk matematycznych
Specjalność: logika, teoria automatów
Alma MaterUniwersytet Warszawski
Doktorat2004 – informatyka
Uniwersytet Warszawski
Habilitacja2008 – informatyka
Uniwersytet Warszawski
Profesura2014
Nauczyciel akademicki
UczelniaUniwersytet 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[1].

Ż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[2]. Na macierzystym Wydziale Matematyki, Informatyki i Mechaniki UW pracuje w Zakładzie Logiki Stosowanej Instytutu Informatyki[3]. Profesorem UW został w wieku 32 lat[3]. Wykłada m.in. języki, automaty i obliczenia oraz alfabety nieskończone[4].

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[5]), natomiast w 2015 - jako pierwszy Polak - w kategorii Consolidator Grant (projekt LIPA)[6][3][7][8].

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"[9][10][11].

W 2006 otrzymał Nagrodę im. Witolda Lipskiego[12]. 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[13]. Laureat Nagrody Narodowego Centrum Nauki 2016.

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

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) [online] [dostęp 2016-06-19].
  3. ↑ a b c 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 (ang.). cordis.europa.eu. [dostęp 2016-06-19].
  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 (ang.). cordis.europa.eu. [dostęp 2016-06-19].
  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 (ang.). eatcs.org. [dostęp 2016-06-19].
  14. ↑ Skład Rady NCN w kadencji 2016-2018. ncn.gov.pl. [dostęp 2016-12-22].

Linki zewnętrzne

Laureaci Nagrody im. Kazimierza Kuratowskiego
XX wiek
XXI wiek