Programming methodology

Prof. Dr. Wim H. Hesselink

For programming methodology, the group aims to contribute to the design, specification, and verification of sequential, parallel and distributed algorithms, programs, and systems, possibly with assistance of a mechanical theorem prover.