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

Teaching

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

Previously at