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.

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