Skip to ContentSkip to Navigation
Over ons Praktische zaken

Medewerkers met het vakgebied Logica

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

Coalgebra, automata theory, mathematical logic.
A. (Anton) Chernev, BSc
Contact
a.chernev rug.nl
06 4528 1575
Functie
Promovendus
Vakgebied
Collective artificial intelligence, Logical models of social network phenomena, Formal social epistemology. 
Z.L. (Zoé) Christoff, PhD
Contact
z.l.christoff rug.nl
Functie
Assistant Professor in Cognitive Artificial Intelligence
Logic, Type Theory, Program Verification
D. (Daniel) Frumin, PhD
Contact
d.frumin rug.nl
Functie
Assistant Professor
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
Contact
h.h.hansen rug.nl
Functie
Adjuncthoogleraar in Logic and Semantics of Computation
B. (Bas) van den Heuvel, MSc
Contact
b.van.den.heuvel rug.nl
Functie
PhD-student
Logica en Argumentatietheorie
dr. B.P. (Barteld) Kooi
Contact
b.p.kooi rug.nl
Functie
Universitair hoofddocent
Argumentatietheorie
Formele dialectiek/dialooglogica
Drogredenen

prof. dr. E.C.W. (Erik) Krabbe
Contact
e.c.w.krabbe rug.nl
Functie
Emeritus professor in de Logica en Wijsgerige Argumentatietheorie
Vakgebied
J.W.N. (Joseph) Paulus, M
Contact
j.w.n.paulus rug.nl
Functie
Programming languages and models.
Verification techniques for complex software systems.
More details in my personal home page.
J.A. (Jorge) Perez Parra, Prof
Contact
j.a.perez rug.nl
050 36 33971
Functie
Associate Professor in Software Foundations (Grondslagen van Software)
Non-classical logics, proof theory, theorem proving, proof assistants.
D.R.S. (Revantha) Ramanayake, PhD
Contact
d.r.s.ramanayake rug.nl
Functie
Assistant Professor
Discrete wiskunde, mathematische logica
prof. dr. G.R. (Gerard) Renardel de Lavalette
Contact
g.r.renardel.de.lavalette rug.nl
050 36 37128
Functie
Hoogleraar
F.C. (Francisco) Trucco Dalmas
Contact
f.c.trucco.dalmas rug.nl
Functie
Promovendus
Kunstmatige Intelligentie, Logica en Cognitie; Multi-agentsystemen
prof. dr. L.C. (Rineke) Verbrugge
Contact
l.c.verbrugge rug.nl
050 36 36334
Functie
Hoogleraar
View this page in: English