Pochodzę z Prudnika, a teraz mieszkam w Warszawie. Jestem absolwentem MISMaPu, kierunku informatyka na MIMie.
Obecnie jestem pracownikiem Instytutu Informatyki Uniwersytetu Warszawskiego. Pracuję tu jako asystent naukowy przy projekcie Mobius i prowadzę zajęcia dydaktyczne.
Nieregularnie współpracuję z firmami Redpill oraz (no, od ostatniego projektu coraz dłuższa przerwa...) TLS Technologie.
Moje zainteresowania naukowo-zawodowe obejmują:
- XML i tematy pokrewne,
- komputerowe systemy wspierające dowodzenie (w szczególności Coq),
- specyfikację i weryfikację oprogramowania,
- logikę i teoretyczne podstawy informatyki (rachunek lambda itp.).
