C.V., diploma - static formal verification . Python section. Freeware and open source programs (Java, Python, C++). Articles about Extreme Programming. Some content in polish.
Some samples of non commercial programming e.g. a lisp like interpreter, lambda calculus interpreter, regular expression tool, and more useless stuff with C++ and Java sources. CV in English, Spanish, French and Italian languages.