Patryk Czarnik

GnuPG public key, fingerprint: 1FC0 219F 8D62 233C AFED BA69 8D3A FEB0 D46E 3ECA

I'm a former employee (but still an occasional lecturer) and a PhD candidate at the Faculty of Mathematics, Informatics and Mechanic, University of Warsaw.



SLIWOWICA seminar (outdated)

My research primarily regards formal methods of software specification and verification. Recently it is focused on CoJaq, my PhD project (Java bytecode modeled in Coq proof assistant).

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


My current courses:

My previous courses.

Other activities

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

I am the same person:

Last updates




Valid XHTML 1.1Valid CSS