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.
![S. (Steven) Abreu, MSc](/staff/s.abreu/sabreu2.jpg)
Contact
s.abreu rug.nl
Function
PhD student
Computer Vision, Image analysis: Mathematical morphology, Connected filters, Segmentation, Machine Learning.
![No picture available](/_definition/shared/images/silhouet-unisex-420x560.png)
Contact
m.babai rug.nl
Function
Scientific programmer, Data Scientist
Computing Science, Machine Learning, Artificial Intelligence, Scientific Computing, Computational Science, Neural Networks, Prototype-based systems, adaptive distance measures
![M. (Michael) Biehl, Prof](/staff/m.biehl/photo.png?unique=1606162170252.jpg)
Contact
Function
"Adjunct Hoogleraar" (tenured, with ius promovendi)
parameterized complexity, fpt-algorithms, exact exponential algorithms
![No picture available](/_definition/shared/images/silhouet-unisex-420x560.png)
Machine Learning, Artificial Intelligence, XAI, Interpretable Models, Interdisciplinary applications
![K. (Kerstin) Bunte, Prof](/staff/k.bunte/photo.png?unique=1474365192847.jpg)
Contact
k.bunte rug.nl
Function
Professor of Machine Learning for interdisciplinary data analysis
![V. (Victoria) Degeler, PhD](/staff/v.degeler/photo.png?unique=1625662453905.jpg)
Contact
v.degeler rug.nl
Function
Assistant Professor
![No picture available](/_definition/shared/images/silhouet-unisex-420x560.png)
Contact
d.dustegor rug.nl
Function
Logic, Type Theory, Program Verification
![D. (Daniel) Frumin, PhD](/staff/d.frumin/photo.png?unique=1600174130906.jpg)
Contact
d.frumin rug.nl
Function
Assistant Professor
Field / Discipline
I research computational protein design and high-throughput protein engineering.
![M.J.L.J. (Max) Fürst, PhD](/staff/m.j.l.j.furst/photo.png?unique=1654075381274.jpg)
Contact
Function
Assistant Professor
Business process and service composition compliance, verification, and variability.
![H. (Heerko) Groefsema, PhD](/staff/h.groefsema/photo.png?unique=1537432315235.jpg)
Contact
h.groefsema rug.nl
Function
Assistant professor
Field / Discipline
Logic and semantics of computation, in particular, modal logic, coalgebra, and algebra, and their applications in the formal specification and analysis of software systems.
![H.H. (Helle) Hansen, Prof](/staff/h.h.hansen/fc-011.jpeg)
Contact
h.h.hansen rug.nl
Function
Associate Professor in Logic and Semantics of Computation
Field / Discipline
concurrency, program correctness, theorem proving
![No picture available](/_definition/shared/images/silhouet-unisex-420x560.png)
Contact
Function
Professor
Field / Discipline
![B. (Bas) van den Heuvel, MSc](/staff/b.van.den.heuvel/pasfoto-crop-x6v8l7kr9.jpg)
Contact
b.van.den.heuvel rug.nl
Function
PhD-student
Field / Discipline
Privacy by design, privacy enhancing technologies, computer security
![dr. J.H. (Jaap-Henk) Hoepman](/staff/j.h.hoepman/photo.png?unique=1508922627687.jpg)
Contact
j.h.hoepman rug.nl
Function
Associate professor
machine learning, mathematical modeling of dynamical systems, neuromorphic computing, reservoir computing
![H. (Herbert) Jaeger, Prof](/staff/h.jaeger/photo.png?unique=1565345549559.jpg)
Contact
h.jaeger rug.nl
Function
Professor of Computing in Cognitive Materials
![A. (Alexander) Lazovik, Prof](/staff/a.lazovik/lazovika.jpg)
Contact
a.lazovik rug.nl
Function
Professor in Distributed Systems
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, ... read more
Lecturer of several courses: Imperative Programming, Functional Programming, Signals and systems, Compiler Construction, Discrete Structures, Operating Systems, ... read more
![dr. A. (Arnold) Meijster](/staff/a.meijster/photo.png?unique=1478250496006.jpg)
Contact
a.meijster rug.nl
Function
Lecturer
![E.C. (Elisa) Oostwal](/staff/e.c.oostwal/elisa.png)
Contact
e.c.oostwal rug.nl
Function
PhD student
Field / Discipline
![J.W.N. (Joseph) Paulus, M](/staff/j.w.n.paulus/photo.png?unique=1556193676215.jpg)
Contact
j.w.n.paulus rug.nl
Function
Field / Discipline
Programming languages and models.
Verification techniques for complex software systems.
More details in my personal home page.
Verification techniques for complex software systems.
More details in my personal home page.
![J.A. (Jorge) Perez Parra, Prof](/staff/j.a.perez/jp2023.jpg)
Contact
Function
Associate Professor in Software Foundations
Field / Discipline
Non-classical logics, proof theory, theorem proving, proof assistants.
![D.R.S. (Revantha) Ramanayake, PhD](/staff/d.r.s.ramanayake/photo.png?unique=1615637045775.jpg)
Contact
d.r.s.ramanayake rug.nl
Function
Assistant Professor
Field / Discipline
Discrete mathematics, mathematical logic
![prof. dr. G.R. (Gerard) Renardel de Lavalette](/staff/g.r.renardel.de.lavalette/renardel.jpg)
Contact
Function
Professor
Field / Discipline
![F. Richert, MSc](/staff/f.richert/frederieke-richert-picture-crop-369poznr4.jpg)
![F.C. (Francisco) Trucco Dalmas](/staff/f.c.trucco.dalmas/photo.png?unique=1647342740857.jpg)
Contact
f.c.trucco.dalmas rug.nl
Function
PhD Candidate
Field / Discipline
![prof. dr. G. (Gert) Vegter](/staff/g.vegter/vegter.jpg)
Contact
g.vegter rug.nl
Function
Professor
Field / Discipline
View this page in: Nederlands