Mikołaj Bojańczyk (born 1977) is a Polish theoretical computer scientist and

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

ian known for settling open problems on tree walking automata jointly with Thomas Colcombet, and for contributions to logic in

automata theory Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science with close connections to cognitive science and mathematical l ...

. He is a professor at

Warsaw University The University of Warsaw (, ) is a public research university in Warsaw, Poland. Established on November 19, 1816, it is the largest institution of higher learning in the country, offering 37 different fields of study as well as 100 specializat ...

Biography

Bojańczyk earned his doctorate from

in 2004. In 2004–2005, he spent a year at

Paris Diderot University Paris Diderot University, also known as Paris 7 (), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 1970. Paris Diderot merged with Pari ...

. He got his habilitation from Warsaw University in 2008 and has been a full professor there since 2014. Bojańczyk became the first recipient of the Presburger Award in 2010.

References

External links

* * * * * * {{DEFAULTSORT:Bojanczyk, Mikolaj Polish computer scientists Academic staff of the University of Warsaw University of Warsaw alumni 1977 births Living people