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 2018/2019 (semestr letni)
- Języki programowania (laboratorium), sala 39, wtorek 8:30-10:00
- Języki programowania (wykład), Aula 2, środa 12:00-14:30
- Technologie sieci Web (wykład), Aula 2, środa 16:00-18:15
- Technologie sieci Web (lab. grupa 3I AP A), sala 39, czwartek 14:15-15:45
- Technologie sieci Web (lab. grupa 3I AP B), sala 39, czwartek 16:00-17:30
Konsultacje
- środa, godz. 10:15-11:45, pokój 120
Zajęcia dydaktyczne 2018/2019 (semestr zimowy)
- Logika dla informatyków – (wykład), Aula 1, środa 13:35-16:00
- Logika dla informatyków – (lab. grupa 4I 4), sala 51, środa 16:15-17:45
- Logika dla informatyków – (lab. grupa 4I 3), sala 51, czwartek 14:15-15:45
- Logika dla informatyków – (lab. grupa 4I 2), sala 51, czwartek 16:15-17:45
