My webpage has moved to: lukaszcz.github.io. This website is outdated.


Homepage of Łukasz Czajka

Hello! My name is Łukasz Czajka. I used to be a Ph.D. student at the University of Warsaw under supervision of Paweł Urzyczyn. Then I was in Innsbruck and in Copenhagen. Now I am at the Technical University of Dortmund.

Kontakt: lukaszcz at-małpa mimuw edu pl


Teaching

Thesis topics

Publications

GitHub


CoqHammer


Last updated 10 October 2020 by Łukasz Czajka