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.
Contact
s.abreu rug.nl
Function
Computer Vision, Image analysis: Mathematical morphology, Connected filters, Segmentation, Machine Learning.
Contact
m.babai rug.nl
Function
Scientific Programmer, Data Engineer/Scientist
Computing Science, Machine Learning, Artificial Intelligence, Scientific Computing, Computational Science, Neural Networks, Prototype-based systems, adaptive distance measures
Contact
Function
Full Professor (Hoogleraar) Machine learning, theory and applications
parameterized complexity, fpt-algorithms, exact exponential algorithms
Machine Learning, Artificial Intelligence, XAI, Interpretable Models, Interdisciplinary applications
Contact
k.bunte rug.nl
Function
Professor of Machine Learning for interdisciplinary data analysis
Contact
v.degeler rug.nl
Function
Assistant Professor
I am an Assistant Professor with Education Profile. My current research is focused on distributed decision making for smart environments, cyber-physical systems and digital twins, and pervasive computing for ambient intelligence, with a particular... read more
Contact
d.dustegor rug.nl
Function
Logic, Type Theory, Program Verification
Contact
d.frumin rug.nl
Function
Assistant Professor
Field / Discipline
I research computational protein design and high-throughput protein engineering.
Contact
Function
Assistant Professor
Business process and service composition compliance, verification, and variability.
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.
Contact
h.h.hansen rug.nl
Function
Associate Professor in Logic and Semantics of Computation
Field / Discipline
concurrency, program correctness, theorem proving
Contact
Function
Professor
Field / Discipline
machine learning, mathematical modeling of dynamical systems, neuromorphic computing, reservoir computing
Contact
h.jaeger rug.nl
Function
Professor of Computing in Cognitive Materials
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
Contact
a.meijster rug.nl
Function
Lecturer
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.
Contact
Function
Associate Professor in Software Foundations
Field / Discipline
Formal logic, non-classical logics (especially substructural and modal logics), proof theory, automated theorem proving, proof assistants
Contact
d.r.s.ramanayake rug.nl
Function
Associate Professor in Proof Theory of Non-Classical Logics
Field / Discipline
Discrete mathematics, mathematical logic
Contact
Function
Professor
Field / Discipline
Contact
f.c.trucco.dalmas rug.nl
Function
PhD Candidate
Field / Discipline
Contact
g.vegter rug.nl
Function
Professor
Field / Discipline
View this page in: Nederlands