PATRYK CZARNIK

Patryk Czarnik is an IT expert, software developer, academic teacher and trainer. Visit card..... 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... functional programming (Haskell, Ocaml) and (close to the functional approach) Coq proof assistant,