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.

Collective artificial intelligence, Logical models of social network phenomena, Formal social epistemology.

Contact
z.l.christoff rug.nl
Functie
Assistant Professor in Cognitive Artificial Intelligence
Logic, Type Theory, Program Verification

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
Functie
Adjuncthoogleraar in Logic and Semantics of Computation
Logica en Argumentatietheorie

Contact
b.p.kooi rug.nl
Functie
Universitair hoofddocent
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
Functie
Associate Professor in Software Foundations (Grondslagen van Software)
Non-classical logics, proof theory, theorem proving, proof assistants.

Contact
d.r.s.ramanayake rug.nl
Functie
Assistant Professor
Vakgebied
Discrete wiskunde, mathematische logica

Contact
Functie
Hoogleraar
Vakgebied

Contact
f.c.trucco.dalmas rug.nl
Functie
Promovendus
Kunstmatige Intelligentie, Logica en Cognitie; Multi-agentsystemen

Contact
Functie
Hoogleraar
Vakgebied
View this page in: English