Logic and Computation

Logic and Computation investigates a wide range of foundational issues in mathematics and computer science. Our research includes classical areas of mathematical logic and the foundations of mathematics, such as model theory, algebraic logic, and set theory. In theoretical computer science, investigation of fundamental problems in algorithmics and computational complexity. But also venture into new fields such as quantum computing and coalgebra. At the interface with other disciplines, including formal epistemology, artificial intelligence, and economic theory, study of the dynamics of interaction in groups of agents and problems of social choice.

Meer weten?

Wil je meer informatie over de inhoud van het dossier of in contact worden gebracht met de kennisaanbieder? Neem dan contact met ons op.


Terug naar overzicht »