About
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.
0Publications listed
Find Lars van den Haak elsewhere
Related Searches
You Might Also Like
- MMarieke HuismanUniversity of Twente · Professor
Dragan BosnackiEindhoven University of Technology · Assistant Professor- DDavid N. JansenEindhoven University of Technology · Researcher
Jan Friso GrooteEindhoven University of Technology · Professor
Lars KastnerTechnical University of Berlin (TU Berlin) · Researcher
Liam O'ReillySwansea University · Senior Lecturer