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
Argumentatietheorie
Formele dialectiek/dialooglogica
Drogredenen
Formele dialectiek/dialooglogica
Drogredenen
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)
Algebra, Coalgebra, Duality Theory, Non-Classical Logic(s)
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