I am a Computer Science PhD student at MIMUW under supervision of prof. Piotr Rybka and prof. Jerzy Tyszkiewicz. My scientific interests are scientific computing and type inference in dynamic languages.

My publications:

My Master's Theses: