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

Mathematical logic, in particular algebraic and coalgebraic logic.
No picture available
Contact
a.chernev rug.nl
+31 6 4528 1575
Function
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
dr. D. (Dan) Frumin, PhD
Contact
d.frumin rug.nl
Function
Postdoc
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 Dr
Contact
h.h.hansen rug.nl
Function
Associate Professor in Logic and Semantics of Computation
E.M. (Elizabeth) Heredia Murillo, MA
Contact
e.m.heredia.murillo rug.nl
Function
PhD student
Field / Discipline
B. (Bas) van den Heuvel, MSc
Contact
b.van.den.heuvel rug.nl
Function
PhD-student
Logic and Argumentation Theory
B.P. (Barteld) Kooi, Dr
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.
Correctness and verification techniques for software systems with concurrency and communication.
More details in my personal home page.
J.A. (Jorge) Perez Parra, Prof Dr
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.

VACANCIES: 3 PhD positions. Deadline 29 November 2021. See link below.
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
No picture available
Contact
o.yeter rug.nl
Function
PhD student
View this page in: Nederlands