Łukasz Krzeszczakowski

Doktorant w Instytucie Informatyki, Wydziału Matematyki, Informatyki i Mechaniki, Uniwersytetu Warszawskiego.
e-poczta: lkr (at) mimuw.edu.pl
konsultacje: piątki, g. 15:15-16:45
pokój 2110 w budynku przy ul. Banacha 2

Prowadzone zajęcia

rok akad. 2005/2006, semestr letni

Sieci komputerowe (lab)
Programowanie imperatywne (ćw na MSUI) (przykład na bison'a)
Programowanie obiektowe (lab na ZSI) (przykład interface'u w Javie, drugi przykład, dokumentacja API)

rok akad. 2005/2006, semestr zimowy

Programowanie obiektowe (ćw, lab) (zadanie 1, zadanie 2)
Teoria obliczeń (ćw na MSUI)
Laboratorium Unixa (lab na ZSI)

rok akad. 2004/2005, semestr letni

Logika (ćw)
Programowanie obiektowe (lab na ZSI)
Automaty i gramatyki (ćw w PJWSTK)

rok akad. 2004/2005, semestr zimowy

Wstęp do teorii mnogości (ćw)
Programowanie obiektowe (ćw, lab)
Laboratorium Unixa (lab na ZSI)

Zainteresowania

Gry teorio-modelowe
Rachunek Mi
Struktury automatyczne

Publikacje

O złożoności problemu znajdowania strategii w grach teorio-modelowych, praca magisterska, 2001
Pebble games on treess, LNCS 2803, Springer-Verlag Berlin, 2003

Aktualizacja: 9 czerwca 2006