Dr. Peter Lammich started in Twente as assistant professor


Dr. Peter Lammich started as assistant professor in the Formal Methods and Tools group at the University of Twente. His research is focused on verifying efficient software, using the interactive theorem prover Isabelle and stepwise refinement techniques. He enjoys developing and improving reusable research tools, such as the Isabelle Refinement Framework.