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.
Coalgebra, automata theory, mathematical logic.
Collective artificial intelligence, Logical models of social network phenomena, Formal social epistemology.
Contact
z.l.christoff rug.nl
Function
Assistant Professor in Cognitive Artificial Intelligence
Field / Discipline
Logic, Type Theory, Program Verification
Contact
d.frumin rug.nl
Function
Assistant Professor
Field / Discipline
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
Function
Associate Professor in Logic and Semantics of Computation
Field / Discipline
Logic and Argumentation Theory
Contact
b.p.kooi rug.nl
Function
Associate professor
Field / Discipline
Argumentation theory
Formal dialectic/dialogical logic
Fallacies
Formal dialectic/dialogical logic
Fallacies
Contact
e.c.w.krabbe rug.nl
Function
Professor emeritus of Logic and Philosophical Theory of Argumentation
Field / Discipline
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
Function
Associate Professor in Software Foundations
Field / Discipline
Algebra, Coalgebra, Duality Theory, Non-Classical Logic(s)
Contact
w.poiger rug.nl
Function
Postdoc
Field / Discipline
Non-classical logics, proof theory, theorem proving, proof assistants.
Contact
d.r.s.ramanayake rug.nl
Function
Assistant Professor
Field / Discipline
Discrete mathematics, mathematical logic
Contact
Function
Professor
Field / Discipline
Contact
f.c.trucco.dalmas rug.nl
Function
PhD Candidate
Field / Discipline
Artificial Intelligence, Logic and Cognition, Multi-agent systems
Contact
Function
Professor
Field / Discipline
View this page in: Nederlands