Mikołaj Bojańczyk
| profesor nauk matematycznych | |
| Specjalność: logika, teoria automatów | |
| Alma Mater | |
|---|---|
| Doktorat |
2004 – informatyka |
| Habilitacja |
2008 – informatyka |
| 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]- ↑ prof. dr hab. Mikołaj Bojańczyk. mimuw.edu.pl. [dostęp 2017-02-02].
- ↑ Prof. dr hab. Mikołaj Bojańczyk, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-06-19].
- ↑ a b c Informatyczna sosna. uw.edu.pl, 17 listopada 2014. [dostęp 2016-06-18].
- ↑ prof. dr hab. Mikołaj Bojańczyk. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ SOSNA - Expressive Power of Tree Logics. cordis.europa.eu. [dostęp 2016-06-19]. (ang.).
- ↑ Prof. Mikołaj Bojańczyk otrzymał prestiżowy grant ERC. naukawpolsce.pap.pl, 11 grudnia 2015. [dostęp 2016-06-18].
- ↑ Informatyk bada drzewa. newsweek.pl, 19 listopada 2010. [dostęp 2016-06-18].
- ↑ LIPA - A unified theory of finite-state recognisability. cordis.europa.eu. [dostęp 2016-06-19]. (ang.).
- ↑ Mikołaj Bojańczyk (cytowania). scholar.google.pl. [dostęp 2016-02-15].
- ↑ Mikołaj Bojańczyk (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-06-18].
- ↑ Mikołaj Bojańczyk (publikacje). mimuw.edu.pl. [dostęp 2017-02-02].
- ↑ Archiwum prezentacji laureatów. nagrodalipskiego.mimuw.edu.pl. [dostęp 2016-06-18].
- ↑ Presburger Award. eatcs.org. [dostęp 2016-06-19]. (ang.).
- ↑ Skład Rady NCN w kadencji 2016-2018. ncn.gov.pl. [dostęp 2016-12-22].
Linki zewnętrzne
[edytuj | edytuj kod]- Mikołaj Bojańczyk (strona domowa). mimuw.edu.pl. [dostęp 2016-06-18]. (ang.).