Mikołaj Bojańczyk

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania
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[1].

Życiorys[edytuj | edytuj kod]

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[edytuj | edytuj kod]

  1. prof. dr hab. Mikołaj Bojańczyk. mimuw.edu.pl. [dostęp 2017-02-02].
  2. Mikołaj Bojańczyk w bazie „Ludzie nauki” portalu Nauka Polska (OPI).
  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[edytuj | edytuj kod]