Research
Moritz Hammer
Areas of Interest:
- (explicit) model checking
- component-based software engineering
- Java bytecode analysis and interpretation
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/.