About me

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

Programming skills:

  • General: C++, Java, Scala, Clojure, JavaScript
  • Mobile devices: Android – languages: Java, Kotlin; frameworks: Ionic, Clojure-Android
  • Embedded: C/C++ for AVR and STM32 platforms


My publication list