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
• Formal specification of software systems
• Theory of institutions
• 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 2020/2021 (semestr zimowy)

• Wstęp do technologii Web (lab. grupa 2), grupa laboratoryjna w Teams, poniedziałek 13:00-14:30 – od 12 X do 30 XI
• Zaawansowane języki programowania (wykład), Teams – kanał „Wykład” w grupie WMFI-INF-MUD-O-1-ZJP, poniedziałek 15:00-17:15 – do 7 XII
• Zaawansowane języki programowania (lab. Grupa 3), grupa laboratoryjna w Teams, wtorek 11:00-12:30
• Wstęp do technologii Web (wykład), Teams – kanał „Wykład” w grupie WMFI-INF-LD-P-1-WTW, wtorek 15:00-17:15 – do 3 XI
• Bazy danych 2 (lab. Grupa 1), grupa laboratoryjna w Teams, środa 13:00-14:30 – od 14 X do 9 XII
• Bazy danych 2 (wykład), Teams – kanał „Wykład” w zespole WMFI-INF-LD-P-2-BD2, środa 15:00-17:15 – do 4 XI

Konsultacje – indywidualne lub grupowe, poprzez Teams

Chęć udziału w konsultacjach należy zgłaszać mailowo lub przez Teams.