Research

Publications

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:

• software engineering (quality assurance, good practices in software development, etc.),
• different programming paradigms, with functional programming in a distinguished place (but I also know Java quite well ;)),
• XML and related technologies, processing of structural documents.

Teaching

• XML i nowoczesne technologie zarządzania treścią (XML and Applications).
• More previous courses.

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:

• PatrykCzarnik.net
• Patryk Czarnik@LinkedIn