Lars van den Haak

Lars van den Haak is a Lecturer in the Department of Mathematics and Computer Science at Eindhoven University of Technology, affiliated with the Algorithms and Logics for Verification research group. His academic role involves teaching courses including Discrete Mathematics and Discrete Structures.

His research spans parallel computing and formal verification, with core interests in:

• Design and analysis of parallel algorithms
• Data parallelism and GPU programming (OpenCL)
• Software verification methodologies (deductive verification, soundness)
• Software development tools and annotation systems

Recent publications focus on integrating verification frameworks (e.g., HaliVer) with scheduling languages, developing linear parallel algorithms for bisimulation, and applying formal methods to scientific pipelines like radio telescope data processing. His work consistently addresses challenges in concurrency, GPU optimization, and quantifier reasoning.