Marek Materzok

About myself

I'm currently a postdoc in INRIA Rennes, where I'm working on a formal semantics of Javascript in the JSCert project. I'm also a research assistant at the University of Wrocław.

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 formal logic and computer-assisted theorem proving.

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



Undergrad projects and other achievements

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

During studies

In high school and before