My name is Maciej Szreter. I'm a research assistant at Institute of Computer Science, Polish Academy of Sciences.
My scientific interests are focused around:
- model checking and formal verification of concurrent programs
- specifying and verifying of multi-agent systems
- automatic composition of semantic web services
- programming and verification of embedded systems...
- ...in particular, in context of Unmanned Aerial Vehicles
- Mobile devices: Android – languages: Java, Kotlin; frameworks: Ionic, Clojure-Android
- Embedded: C/C++ for AVR and STM32 platforms