Fødsel | 8. juni 1977 |
---|---|
Nasjonalitet | Pusse |
Områder | Teori om automata , matematisk logikk |
Institusjoner | Universitetet i Warszawa |
Opplæring | Universitetet i Warszawa |
Veileder | Igor Walukiewicz |
Kjent for | Teori om reiseautomater |
Utmerkelser | Presburger-prisen |
Nettstedet | www.mimuw.edu.pl/~bojan/ |
Mikołaj Bojańczyk , født i 1977, er en polsk datamaskin teoretiker og logikeren , professor ved Universitetet i Warszawa .
Bojańczyk fikk doktorgrad fra universitetet i Warszawa i 2004 . Han tilbrakte året 2004-2005 ved Universitetet i Paris-Diderot . Han oppnådde habilitering ved Universitetet i Warszawa i 2008 og har vært full professor ved dette universitetet siden 2014. Bojańczyk er den første mottakeren av Presburgerprisen i 2010. Han har også samlet en rekke dokumenter om Presburger.
Bojańczyk jobber med samspillet mellom logiske formalismer og de forskjellige familiene til endelige automater. Han er kjent for sine bidrag til teorien om kjemikaliekontrollere med Thomas Colcombet (in) , og for mange andre bidrag til logikk i automatteori. Han jobbet med stjernehøydeproblemet : han presenterte en forenkling av avgjørbarhetssikkerheten, i 2015, detaljert artikkel om arxiv i 2017. Han er interessert i andreordens monadiske logikk på grafer i den delen av Courcelles teori, den utvider logikken med en kvantifier U for å kunne formulere uttrykk, alltid på grafer; han introduserte og studerte vanlige språk på monader. I en serie artikler studerer han dataord og datatrær , generaliseringer til tilfellet med uendelige alfabeter. Til slutt utvikler han, ved universitetet i Warszawa, et prosjekt kalt Atoms , opprinnelig motivert av studiet av automata på dataord og datatrær . Det skrives en bok som er tilgjengelig på nettstedet.