A link to my new homepage in English.
Linka do mojej nowej strony domowej.
Pieczołowicie przechowuję moją starą stronę domową (1995), z czasów kiedy byłem studentem MIMUW.
Teraz jestem młodym naukowcem związanym z Zakładem Logiki Stosowanej.
Jezus jest moim Panem dzięki
Katolickiej Odnowie Charyzmatycznej.
Dziś należę do katolickiej wspólnoty Woda Życia.
Czasami modlę się na Wydziale.
Pracuję nad Dule --- kategoryjnym systemem modułów oraz językiem programowania.
Wciąż sprawuję pieczę nad EML Kitem.
Jakiś czas temu zaprogramowałem a toy interpreter of the Dijkstra's language.
Przygotowałem, wraz z Marcinem Benke i Grzesiem Grudzińskim, trochę materiałów do laboratorium ze Standard ML: Tajny Skrypt Lab SML.
Tu są obrazy olejne mojego Taty --- Stefana Konarskiego (fotografie wykonane przez Zdzisława Mianowskiego). Tu natomiast kancelaria prawna mojej Mamy --- Teresy Konarskiej.