The Institute for Logic, Language and Computation (ILLC) is a distinguished research center situated at the University of Amsterdam, specializing in theoretical computer science, computational linguistics, and artificial intelligence. With a strong focus on fundamental inquiries concerning algorithm design and analysis, the institute’s research is driven by applications in physics, economics, and AI. The Language and Music Cognition unit delves into semantics and meaning through computational models and AI, while the Natural Language Processing and Digital Humanities unit concentrates on the automated analysis and generation of human language.
Researchers at ILLC utilize formal tools from logic, probability theory, and game theory to explore topics in formal epistemology, philosophy of science, and information transfer through meaningful language usage. The institute is recognized for its proficiency in intuitionistic and modal logic, as well as other domains of mathematical logic like set theory, computability theory, and proof theory. The MSc in Logic and the ILLC PhD program provide interdisciplinary education in logic, computer science, linguistics, and cognitive science, equipping students to excel as highly skilled scientific researchers.
Deeply entrenched in the Amsterdam logic research heritage, ILLC stands as a leading entity in the investigation of information, information exchange, and cognition using formal and mathematical methodologies. With faculty members from the Faculty of Science and the Faculty of Humanities, the institute spans a broad spectrum of disciplines encompassing mathematics, computational linguistics, philosophy, and artificial intelligence. ILLC’s dedication to advancing knowledge and comprehension in these interdisciplinary realms positions it as a prominent establishment in the academic sphere.
