Marek Materzok

About myself

I'm currently a research assistant at the University of Wrocław, my current research topic is delimited control operators, in particular Danvy and Filinski's shift0.

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. My PhD thesis, supervised by Dariusz Biernacki and Jerzy Marcinkowski, is a study of the Danvy and Filinski's shift0 control operator.

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