These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.

Research interests

Objects, Components and Distributed Systems 
  • Object-oriented software engineering
  • Component-based software engineering
  • Concurrency and distributed systems

Formal Methods and Application 
  • Formal methods and techniques for design specifications
  • Methods and techniques for framework development
  • Coupled environmental simulation systems (based on components)
  • Modelling frameworks for agent-based social simulation