About me
I am a lecturer and faculty member at the Institute of Informatics at the University of Gdańsk. As part of my research projects, I also work closely with my colleagues at the Systems Research Institute of the Polish Academy of Sciences in Warsaw. My scientific interests include:
- Mobile and distributed systems
- Internet of Things
- Specification and semantics of software systems
- Formal and semantic-based methods
- Applications of logic and category theory in computer science
I hope that one day I'll find enough time to expand this page's content so that it contains more information, as well as some useful stuff. For now, you can access some of my research reports and papers on it.
External profiles
Information for Students (in Polish)
Zajęcia dydaktyczne 2026/2027 (semestr zimowy)
- Wstęp do technologii Web, wykład, wtorek 16:00-17:30, audytorium 1.14, (O, zajęcia do 24 XI)
- Zaawansowane języki programowania, wykład, wtorek 18:00-19:30, audytorium 1.14, (O)
- Technologie sieci Web, laboratorium, Grupa 1, piątek 8:30-10:00, sala 3.13, (P)
- Technologie sieci Web, wykład, piątek 16:00-17:30, audytorium D001, (P)
- Technologie sieci Web, laboratorium, Grupa 2, piątek 18:00-19:30, sala 3.13, (P)
- 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”:
- wtorek 12:45-14:45
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.
