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.
Mathematical logic, in particular algebraic and coalgebraic 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
Contact
d.frumin rug.nl
Function
Postdoc
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
Contact
e.m.heredia.murillo rug.nl
Function
PhD student
Field / Discipline
Contact
b.van.den.heuvel rug.nl
Function
PhD-student
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
Contact
j.w.n.paulus rug.nl
Function
Field / Discipline
Programming languages and models.
Correctness and verification techniques for software systems with concurrency and communication.
More details in my personal home page.
Correctness and verification techniques for software systems with concurrency and communication.
More details in my personal home page.
Contact
Function
Associate Professor in Software Foundations
Field / Discipline
Non-classical logics, proof theory, theorem proving, proof assistants.
VACANCIES: 3 PhD positions. Deadline 29 November 2021. See link below.
VACANCIES: 3 PhD positions. Deadline 29 November 2021. See link below.
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
Contact
o.yeter rug.nl
Function
PhD student
Field / Discipline
View this page in: Nederlands