Education

I did my Bachelors in Computer Science at AGH University of Science and Technology in Cracow.

My Bachelor's project was about using types as search keys for Kotlin documentation. Kotlin later changed to Scala and the project evolved into Inkuire. The project was done togather with Andrzej Ratajczak and Filip Zybała. It was supervised by Bartosz Baliś.

I did my Masters in Computer Science at Chalmers University of Technology in Gothenburg.

My Master's project was about verified inlining and specialisation for PureCake. My advisor was Magnus O. Myreen.

I am currently doing my PhD at EPFL. (SystemF/LAMP)

I am currently doing my semester project in the SystemF lab.

I did my first semester project working on the Scala 3 Compiler, mainly the modularity improvements.