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.