Skip to ContentSkip to Navigation
About usHow to find us

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.

Overview of all disciplines

Distributed Information Systems, Service Computing, Pervasive Systems, Energy Distribution, Spatial Representation and Reasoning
prof. dr. ir. M. (Marco) Aiello
Contact
Function
Honorary Professor of Distributed Systems
Computing Science, Machine Learning, Scientific Computing
Machine Learning, Interpretable Models, Interdisciplinary applications
K. (Kerstin) Bunte, PhD
Contact

Function
Rosalind Franklin Fellow
Formal Methods, Type Theory, Concurrency Theory, Session Types, Constraint Programming
M.A. (Mauricio Alejandro) Cano Grijalba
Contact

Function
PhD. Student
Project management
Consultancy
European precurement large infrastructures
Contact

Function
consultant projectmanager Research & Innovation Support
concurrency, program correctness, theorem proving
Contact
Function
Professor
Privacy by design, privacy enhancing technologies, computer security
dr. J.H. (Jaap-Henk) Hoepman
Contact

Function
Associate professor
machine learning, recurrent neural networks, mathematical modeling of dynamical systems, neuromorphic computing, reservoir computing
prof. dr. H. (Herbert) Jaeger
Contact

Function
Professor of Computing in Cognitive Materials
Main interests: Parallel Computing, Programming, Signal Processing, Algorithm Design
Lecturer of several courses:  Imperative Programming,  Functional Programming,  Signals and systems,  Compiler Construction,  Discrete Structures,  Operating Systems,  Program Correctness,  Artificial Intelligence I
Foundations of programming languages and models.
Verification techniques for software systems with concurrency and communication.

More details in my personal home page.
prof. dr. J.A. (Jorge) Perez Parra
Contact
Function
Associate Professor in Software Foundations
Discrete mathematics, mathematical logic
prof. dr. G.R. (Gerard) Renardel de Lavalette
Contact
Function
Professor
printView this page in: Nederlands