About me
I am a lecturer at the Institute of Informatics, University of Gdańsk My scientific interests include:
- Formal specification of software systems
- Theory of institutions
- Formal methods
- Applications of logic and category theory in computer science
- Mobile and distributed systems
- Internet of Things
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 2016/2017 (semestr letni)
- Technologie sieci Web (laboratorium), sala 109, środa 10:15-11:45 (do 5 kwietnia)
- Technologie sieci Web (wykład), sala 116, środa 16:00-18:15 (do 26 kwietnia, za wyjątkiem 15 marca)
- Technologie sieci Web (laboratorium), sala 109, czwartek 9:30-11:00 (od 20 kwietnia)
- Seminarium magisterskie, sala 327, środa 14:15-15:45
Zajęcia dydaktyczne 2016/2017 (semestr zimowy)
- Logika dla informatyków – (lab. grupa 4I 2), sala 29, środa 10:15-11:45
- Logika dla informatyków (wykład), Aula 2, środa 14:15-15:45
- Programowanie w języku Scala (wykład/lab.), sala 29, czwartek 16:00-17:30
Konsultacje
- środa, godz. 12:00-13:30, pokój 120
