Medewerkers met het vakgebied Informatica, Theoretische
Wetenschap ontwikkelt zich waar verschillende vakgebieden samenkomen. Alleen al daarom bestaat er binnen de RUG een grote verscheidenheid aan vakgebieden, met daarbinnen een groot aantal vakspecialisten. Met behulp van onderstaand overzicht, gebaseerd op een vaststaande indeling van wetenschapsgebieden, vindt u op elk vakgebied de juiste deskundige. Komt de deskundige die u zoekt niet voor in deze lijst? Via een vergelijkbaar vakgebied of een gerelateerde faculteit vindt u mogelijk alsnog de juiste persoon.
Overzicht van alle vakgebieden
![S. (Steven) Abreu, MSc](/staff/s.abreu/sabreu2.jpg)
Contact
s.abreu rug.nl
Functie
PhD student
Computer Vision, Image analysis: Mathematical morphology, Connected filters, Segmentation, Machine Learning.
![Geen foto beschikbaar](/_definition/shared/images/silhouet-unisex-420x560.png)
Contact
m.babai rug.nl
Functie
Scientific programmer, Data Scientist
Computer 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
Functie
Adjunct Hoogleraar (tenured, with ius promovendi)
parameterized complexity, fpt-algorithms, exact exponential algorithms
![Geen foto beschikbaar](/_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
Functie
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
Functie
Assistant Professor
![Geen foto beschikbaar](/_definition/shared/images/silhouet-unisex-420x560.png)
Contact
d.dustegor rug.nl
Functie
Logic, Type Theory, Program Verification
![D. (Daniel) Frumin, PhD](/staff/d.frumin/photo.png?unique=1600174130906.jpg)
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
Functie
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
Functie
Onderzoeker
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
Functie
Adjuncthoogleraar in Logic and Semantics of Computation
programmacorrectheid
![Geen foto beschikbaar](/_definition/shared/images/silhouet-unisex-420x560.png)
Contact
Functie
Bijzonder hoogleraar
Vakgebied
![B. (Bas) van den Heuvel, MSc](/staff/b.van.den.heuvel/pasfoto-crop-x6v8l7kr9.jpg)
Privacy by design, privacy enhancing technologies, computer beveiliging
![dr. J.H. (Jaap-Henk) Hoepman](/staff/j.h.hoepman/photo.png?unique=1508922627687.jpg)
Contact
j.h.hoepman rug.nl
Functie
Universitair Hoofddocent
machine learning, wiskundige modellering van dynamische systemen, neuromorphic computing, reservoir computing
![H. (Herbert) Jaeger, Prof](/staff/h.jaeger/photo.png?unique=1565345549559.jpg)
Contact
h.jaeger rug.nl
Functie
Hoogleraar
![A. (Alexander) Lazovik, Prof](/staff/a.lazovik/lazovika.jpg)
Contact
a.lazovik rug.nl
Functie
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, ... lees meer
Lecturer of several courses: Imperative Programming, Functional Programming, Signals and systems, Compiler Construction, Discrete Structures, Operating Systems, ... lees meer
![dr. A. (Arnold) Meijster](/staff/a.meijster/photo.png?unique=1478250496006.jpg)
Contact
a.meijster rug.nl
Functie
Senior lecturer
![E.C. (Elisa) Oostwal](/staff/e.c.oostwal/elisa.png)
Contact
e.c.oostwal rug.nl
Functie
Promovendus
![J.W.N. (Joseph) Paulus, M](/staff/j.w.n.paulus/photo.png?unique=1556193676215.jpg)
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
Functie
Associate Professor in Software Foundations (Grondslagen van Software)
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
Functie
Assistant Professor
Vakgebied
Discrete wiskunde, mathematische logica
![prof. dr. G.R. (Gerard) Renardel de Lavalette](/staff/g.r.renardel.de.lavalette/renardel.jpg)
Contact
Functie
Hoogleraar
Vakgebied
![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
Functie
Promovendus
![prof. dr. G. (Gert) Vegter](/staff/g.vegter/vegter.jpg)
Contact
g.vegter rug.nl
Functie
Hoogleraar
View this page in: English