About me
I am a lecturer at the Institute of Informatics, University of Gdańsk. My scientific interests include:
- Mobile and distributed systems
- Internet of Things
- Specification and semantics of software systems
- Formal methods
- Applications of logic and category theory in computer science
I hope that one day I'll find enough time to expand the content of this page so it will contain some more information and perhaps some useful stuff as well. For the moment you can access some of my research reports and papers from it.
Information for students (in Polish)
Zajęcia dydaktyczne 2024/2025 (semestr zimowy)
- Logika dla informatyków, laboratorium, wtorek 14:00-15:30, sala A015, (O, Grupa 4I/1)
- Technologie sieci Web, wykład, wtorek 16:00-17:30, audytorium 1.15, (P)
- Wstęp do technologii Web, wykład, środa 12:00-13:30, sala D003, (O)
- Technologie sieci Web, laboratorium, środa 16:00-17:30, sala 3.04, (P)
- Zaawansowane języki programowania, wykład, piątek 12:00-13:30, sala D003, (O)
- Logika dla informatyków, wykład, piątek 14:00-15:30, sala D003, (O)
- O – profil ogólnoakademicki
- P – profil praktyczny
Materiały do zajęć
Materiały z wykładów udostępniane będą w zakładce „Pliki” na odpowiednich „kanałach” platformy Teams.
Konsultacje – indywidualne lub grupowe, poprzez Teams lub „lokalnie” (pok. 4.20)
Terminy konsultacji „lokalnych”:
- środy, godz. 14:00-15:30
Chęć udziału w konsultacjach należy zgłaszać osobiście, mailowo lub przez Teams. W przypadku konsultacji mających odbyć się „lokalnie” proszę o zgłaszanie chęci udziału w nich z (przynajmniej) jednodniowym wyprzedzeniem.
