Marek Materzok

About myself

I'm currently a lecturer at the University of Wrocław. My courses are on the subjects of programming languages, embedded systems, FPGAs and digital logic. I am the team advisor of Continuum Rover Team.

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.


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

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


Information for students in Polish.



Undergrad projects and other achievements

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

During studies

In high school and before