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
Contact
s.abreu rug.nl
Functie
Computer Vision, Image analysis: Mathematical morphology, Connected filters, Segmentation, Machine Learning.
Contact
m.babai rug.nl
Functie
Scientific Programmer, Data Engineer/Scientist
Computer Science, Machine Learning, Artificial Intelligence, Scientific Computing, Computational Science, Neural Networks, Prototype-based systems, adaptive distance measures
Contact
Functie
Adjunct Hoogleraar (tenured, with ius promovendi)
parameterized complexity, fpt-algorithms, exact exponential algorithms
Machine Learning, Artificial Intelligence, XAI, Interpretable Models, Interdisciplinary applications
Contact
k.bunte rug.nl
Functie
Professor of Machine Learning for interdisciplinary data analysis
Contact
v.degeler rug.nl
Functie
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
Functie
Logic, Type Theory, Program Verification
I research computational protein design and high-throughput protein engineering.
Contact
Functie
Assistant Professor
Business process and service composition compliance, verification, and variability.
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.
Contact
h.h.hansen rug.nl
Functie
Adjuncthoogleraar in Logic and Semantics of Computation
programmacorrectheid
Contact
Functie
Bijzonder hoogleraar
Vakgebied
machine learning, wiskundige modellering van dynamische systemen, neuromorphic computing, reservoir computing
Contact
h.jaeger rug.nl
Functie
Hoogleraar
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
Contact
a.meijster rug.nl
Functie
Senior 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
Functie
Associate Professor in Software Foundations (Grondslagen van Software)
Algebra, Coalgebra, Duality Theory, Non-Classical Logic(s)
Non-classical logics, proof theory, theorem proving, proof assistants.
Contact
d.r.s.ramanayake rug.nl
Functie
Assistant Professor
Vakgebied
Discrete wiskunde, mathematische logica
Contact
Functie
Hoogleraar
Vakgebied
Contact
f.c.trucco.dalmas rug.nl
Functie
Promovendus
Contact
g.vegter rug.nl
Functie
Hoogleraar
View this page in: English