next up previous
Next: About this document ... Up: Developing Provably Correct Programs Previous: References

Biography

Peter Müller is a member of the Lopex project at the University of Hagen, Germany. He works in the field of specification and verification of object-oriented programs. In particular, he studies the verification of component-based programs. Before that, he worked at the Technical University of Munich, where he received a diploma in computer science. Topic of his thesis was the formal semantics of Sather and the development of an operational assertion language.

Arnd Poetzsch-Heffter is Professor at the University of Hagen. Central goal of his research is to improve the programming process. This includes aspects concerning programming techniques and methods, language design, and system support. He received a Doctor in Computer Science from the Technical University of Munich in 1991 with a thesis about a new specification technique for static semantics of programming languages. This research was extended to a tool supported framework for complete language specification ([PH97a]). During a post-doc year at the CS department of Cornell University he developed an approach to integrate program specification and verification techniques for object-oriented programs based on formal language specifications. This is as well the topic of his Habilitation thesis (Technical University of Munich, 1997). Currently, his work concentrates on the construction of provably correct programs from correct components.


next up previous
Next: About this document ... Up: Developing Provably Correct Programs Previous: References

Peter Mueller and Arnd Poetzsch-Heffter
Sept. 2, 1997