Cookies are used to remember your language.

polski English

Patryk Czarnik

foto
IT expert
adres tylko jako grafika

Competencies

Although my activities are miscellaneous, I identify myself primarily as a programmer. Working with code, as an author, teacher or reviewer, I pay a special attention to its quality, using best practices and avoiding bad ones.

University background and different experiences gave me a solid basis in broad computer science (including logic and semantics, but also e.g. SQL or UML), and in several areas I possessed expert knowledge and skills:

Activities

Academia

For several years I have been an employee of Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, where I was conducting lectures and classes for computer science students. Currently I still conduct lectures and classes (but in much smaller volume) and I continue my research regarding formal methods of software verification.

Trainings

Since 2008 I've conducted 130 IT trainings (440 days overall). More on trainings...

Software development

I received many years of experience as a programmer (aka software developer ;)), both in a regular work in teams and companies (EVS/Alphyra Poland, TLS Technologies), and individually for my private or teaching purposes, within university projects and eventually as a commercial freelancer or a subcontractor of my friends' small companies (Eisenbits, Redpill).

Consulting

Currently, I eagerly take jobs which allow me to leverage my knowledge and skills within a moderate amount of time, by performing small specialised tasks or giving consultations.

Identity

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

I am the same person: