Pawel Pietrzak
Pawel Pietrzak

Pawel Pietrzak

Research interest

  • Formal analysis and verification of software systems
  • Static analysis and verification of programs
  • The Timber programming language
  • Declarative (logic, functional, constraint) programming
  • Applications of logic and constraint programming

PhD students

  • Martin Kero (assistant supervision) - graduated 2010
  • Simon Aittamaa


  • Computer System Security and Management - D0004E
  • Real-time systems (labs) D0003E
  • Intelligent Systems and HCI D7023E

Previously at



A SOA approach to delay and jitter tolerant distributed real-time complex event processing (2013)

Lindgren. P, Kyusakov. R, Eliasson. J, Mäkitaavola. H, Pietrzak. P
Ingår i: 2013 IEEE International Symposium on Industrial Electronics (ISIE 2013), Taipei, Taiwan, 28 - 31 May 2013; [proceedings], IEEE Communications Society, 2013

Real-time complex event processing using concurrent reactive objects (2013)

Lindgren. P, Pietrzak. P, Mäkitaavola. H
Ingår i: Proceedings of the IEEE International Conference on Industrial Technology, ICIT 2013, Cape Town, South Africa 25 February 2013 - 28 February 2013, s. 1994-1999, IEEE Communications Society, 2013

Towards a lightweight CEP engine for embedded systems (2012)

Pietrzak. P, Lindgren. P, Mäkitaavola. H
Ingår i: IECON 2012, 38th Annual Conference of the IEEE Industrial Electronics Society, s. 5805-5810, IEEE Communications Society, 2012

Project: Architecture for Service-Oriented Process – Monitoring and Control (2011)

Eliasson. J, Delsing. J, Lindgren. P, Pietrzak. P, Kyusakov. R

SRP-DM scheduling of component-based embedded real-time software (2011)

Eriksson. J, Aittamaa. S, Wiklander. J, Pietrzak. P, Lindgren. P
Paper presented at : International Workshop on Dependable and Secure Industrial and Embedded Systems : 04/06/2011 - 04/06/2011