Prof.dr. W.H. Hesselink Person

Prof.dr. W.H. Hesselink

Expertise Programming; Semantics; Concurrency; Verification; Mechanical theoremproving; Synchronization primitives
Expertise (NL) Programmeren; Semantiek; Concurrency; Verificatie; Gebruik van een mechanische stellingbewijzer; Synchronisatieprimitieven
Digital Author ID info:eu-repo/dai/nl/071766928
Addition Emeritus sinds: 1-3-2011

Active as

Professor emeritus
Organisation Johann Bernoulli Institute for Mathematics and Computer Science (RUG)
Chair (EN) Program correctness
Chair (NL) Leer der programmacorrectheid
Email w. h. hesselink -at- rug. nl


(the most recent at the top)
Specificatie van berekening

Completed research projects


Go to page top
Go back to contents
Go back to site navigation