Patryk Czarnik

I was a lecturer/teacher at the Faculty of Mathematics, Informatics and Mechanic, University of Warsaw till 2018.



My research regarded formal methods of software specification and verification. It was mainly focused on CoJaq, my PhD project (Java bytecode modeled in Coq proof assistant).

In a more general view, my interests extend towards other directions:


Other activities

Apart from academic work, I got experience in software development and analysis. Currently an IT expert and trainer.

I am the same person: