Marek Materzok

About myself

I'm currently a PhD student at the University of Wrocław, my current research topic is delimited control operators, in particular Danvy and Filinski's shift0. My supervisors are Dariusz Biernacki and Jerzy Marcinkowski.

I grew up in Nowa Ruda, a small town in south-western Poland. I taught myself programming and system administration at a very young age. (I was quite a nerd!) I have studied computer science at the University of Wrocław. My master's thesis, supervised by Jerzy Marcinkowski, involved creating an interactive theorem prover for teaching logic to university freshmen and high school students.

Interests

My primary research interest is programming languages, including semantics, type systems and implementation. I'm also interested in formal logic and computer-assisted theorem proving.

My non-research interests include photography, electronics and (tandem) cycling.

Publications

Miscellaneous

Undergrad projects and other achievements

Here are some useful, interesting or amusing things I did before graduating.

During M.sc. studies

In high school and before