Wim H. Hesselink

Prof. dr. Wim H. Hesselink is an Associate Professor at the University of Groningen's Faculty of Science and Engineering, affiliated with the Fundamental Computing Science department within the Bernoulli Institute. His research focuses on concurrency, program correctness, theorem proving, and formal methods in computer science and mathematics. He holds an office at Nijenborgh 9, room 5161.0374, and can be reached at w.h.hesselink@rug.nl.

Key research contributions include lock algorithms (e.g., MCSH, Triangle), formal verification of distributed systems, and theoretical work on automata (Büchi) and algebraic structures (Lie algebras). His publications span journals like Formal Aspects of Computing and ACM Transactions on Parallel Computing.

• Education: Not explicitly detailed in text, but his work indicates expertise in advanced computer science and mathematics.
• Awards: None listed in the provided text.
• Grants: No specific grants mentioned.

His recent work emphasizes high-performance concurrency solutions and algorithm verification, with applications in distributed systems and lock-free computing.