Staff members with discipline Computer Science, Theory & Methods
Academia develops at the interface of different fields. This is one reason why the University of Groningen is home to a wide range of fields, each with a great number of subject specialists. The overview below, which is based on a standard categorization of fields, will help you find the right expert for each field. If you cannot find the expert you are looking for in this list, try searching via a related field or faculty; you may find him or her there.














Lecturer of several courses: Imperative Programming, Functional Programming, Signals and systems, Compiler Construction, Discrete Structures, Operating Systems, Program Correctness, Artificial Intelligence I



Correctness and verification techniques for software systems with concurrency and communication.
More details in my personal home page.

VACANCIES: 3 PhD positions. Deadline 29 November 2021. See link below.




