Skip to ContentSkip to Navigation
About us Practical matters

Staff members with discipline Logic

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.

Overview of all disciplines

Coalgebra, automata theory, mathematical logic.
A. (Anton) Chernev, BSc
Contact
a.chernev rug.nl
+31 6 4528 1575
Function
PhD student
Field / Discipline
Collective artificial intelligence, Logical models of social network phenomena, Formal social epistemology. 
Z.L. (Zoé) Christoff, PhD
Contact
z.l.christoff rug.nl
Function
Assistant Professor in Cognitive Artificial Intelligence
Logic, Type Theory, Program Verification
D. (Daniel) Frumin, PhD
Contact
d.frumin rug.nl
Function
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
Function
Associate Professor in Logic and Semantics of Computation
B. (Bas) van den Heuvel, MSc
Contact
b.van.den.heuvel rug.nl
Function
PhD-student
Logic and Argumentation Theory
dr. B.P. (Barteld) Kooi
Contact
b.p.kooi rug.nl
Function
Associate professor
Argumentation theory
Formal dialectic/dialogical logic
Fallacies
prof. dr. E.C.W. (Erik) Krabbe
Contact
e.c.w.krabbe rug.nl
Function
Professor emeritus of Logic and Philosophical Theory of Argumentation
Field / Discipline
J.W.N. (Joseph) Paulus, M
Contact
j.w.n.paulus rug.nl
Function
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
+31 50 36 33971
Function
Associate Professor in Software Foundations
Non-classical logics, proof theory, theorem proving, proof assistants.
D.R.S. (Revantha) Ramanayake, PhD
Contact
d.r.s.ramanayake rug.nl
Function
Assistant Professor
Discrete mathematics, mathematical logic
prof. dr. G.R. (Gerard) Renardel de Lavalette
Contact
g.r.renardel.de.lavalette rug.nl
+31 50 36 37128
Function
Professor
F.C. (Francisco) Trucco Dalmas
Contact
f.c.trucco.dalmas rug.nl
Function
PhD Candidate
Artificial Intelligence, Logic and Cognition, Multi-agent systems
prof. dr. L.C. (Rineke) Verbrugge
Contact
l.c.verbrugge rug.nl
+31 50 36 36334
Function
Professor
View this page in: Nederlands