Patryk Czarnik – ekspert IT

Kompetencje

Choć moje aktywności są zróżnicowane, czuję się po pierwsze programistą. W swojej pracy z kodem, zarówno jako autor, jak i oceniający, zwracam szczególną uwagę na jego jakość i stosowanie dobrych praktyk, a unikanie złych.

Uniwersyteckie wykształcenie i różnorodne doświadczenia dają mi solidne podstawy w szeroko pojętej informatyce (włączywszy logikę i semantykę, ale także choćby SQL i UML), a w kilku dziedzinach dysponuję specjalistyczną wiedzą i umiejętnościami o unikalnym profilu:

XML oraz związane z nim standardy i technologie,
Java,
programowanie współbieżne i sieciowe (UNIX+C / Java / web serwisy),
programowanie funkcyjne (Haskell, Ocaml) i bliski programowaniu funkcyjnemu system dowodzenia twierdzeń Coq,
doświadczenie w analizie i specyfikacji wymagań, w tym w stosowaniu metodologii RUP.

Aktywności

Uczelnia

Przez wiele lat byłem pracownikiem Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, gdzie regularnie prowadziłem zajęcia dla studentów informatyki. Obecnie wciąż pozostaję związany z uczelnią prowadząc pojedyncze zajęcia oraz kontynuując badania związane z formalnymi metodami weryfikacji oprogramowania.

Moja wizytówka na UW, zajęcia z XML
CoJaq – mój projekt na doktorat

Szkolenia

Od 2008 roku prowadzę komercyjne szkolenia z informatyki, mój obecny dorobek to 130 szkoleń (440 dni). Więcej o szkoleniach...

Tworzenie oprogramowania

Posiadam wieloletnie doświadczenie jako programista, zarówno w regularnej pracy w firmach (EVS/Alphyra Polska, TLS Technologie), jak i w samodzielnej twórczości na potrzeby prywatne, dydaktyczne, w ramach projektów uczelnianych i wreszcie dorywczo na zasadzie freelance lub jako podwykonawca zaprzyjaźnionych firm (Eisenbits, Redpill).

Doradztwo specjalistyczne

Obecnie chętnie podejmuję się zadań, w których przy niewielkim nakładzie czasowym mogę wykorzystać posiadaną wiedzę i umiejętności wykonując małe specjalistyczne prace lub służąc konsultacjami. Najbardziej prestiżowym doświadczeniem tego typu był konsulting w zakresie XSLT i XML Schema dla Ministerstwa Finansów w ramach projektu eDeklaracje 2 (jako podwykonawca Redpill). Arkusze XSL do deklaracji podatkowych (PIT, CIT, VAT, NIP) znajdujące się w tym katalogu są w dużej mierze mojego autorstwa.

Od 1 września 2015 działalność programistyczną, szkoleniową i konsultacyjną prowadzę w formie zarejestrowanej działalności gospodarczej.

Tożsamość

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

Jestem tą samą osobą:

Patryk Czarnik na MIMUW
Patryk Czarnik na Google+
Patryk Czarnik na LinkedIn