KNAW

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
URL http://www.rug.nl/staff/w.h.hesselink

Publications

(the most recent at the top)
Specificatie van berekening

Completed research projects

Classification


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