Logic & Epistemology
Professor Bjorndahl is an assistant professor of philosophy at CMU. He is primarily interested in modeling decision-making under uncertainty and how it changes in the presence of new information, using tools from decision theory, game theory, and epistemic logic. Recent work has focused on topological methods in knowledge representation, and language-based games.
Course: Logic and probability
Course: Logics for formal epistemology
Rineke Verbrugge (Invited Instructor)
Professor Verbrugge is a professor of logic and cognition at the University of Groningen. She leads the Multi-agents Systems Group of the Institute of Artificial Intelligence and Cognitive Engineering, and is associate editor of the Journal of Logic, Language, and Information. Her interests lie in multi-agent systems, higher-order social cognition, and the applications of logic in artificial intelligence.
Logic & Computation
Patrick Blackburn (Invited Instructor)
Matthew R. Gormley
Course: Machine learning
Mathias Winther Madsen
I am a mathematician interested in foundational aspects of probability theory and statistics, currently working as a research engineer at a German robot software company. My research has touched on a number of areas related to the concept of uncertainty and rational thought, including historical and epistemological issues. At the moment, I am finishing a paper about optimality criteria in the presence of unquantifiable uncertainty and their implications for game theory.
Course: Information theory
Professor Moss is a professor of mathematics at Indiana University at Bloomington. He is the director of graduate studies for the Cognitive Science Program and the director for the program in Pure and Applied Logic. His interests lie in applied logic: the study of mathematical and conceptual tools for use in computer science, linguistics, artificial intelligence, and other areas.
Dr. Standefer is a postdoctoral researcher on the ARC project Meaning in Action at the University of Melbourne. He works on philosophical logic (truth, proof theory, and modal logic), philosophy of language, philosophy of logic, philosophy of science, and the history of early analytic philosophy.
Professor Birnbaum is a co-chair of the Department of Slavic Languages and Literature at the University of Pittsburgh. His research interests lie in digital humanities (especially computational philology), Medieval Slavic manuscripts, and Slavic historical linguistics. He also teaches computational methods in the humanities at the undergraduate and graduate levels.
Course: Computational pragmatics
David R. Mortensen
Course: Low resource techniques in NLP
Course: Computational morphology
Course: Low resource techniques in NLP
Semantics & Pragmatics
Bart Geurts (Invited Instructor)
Professor Geurts is a professor of philosophy at Radboud University Nijmegen. His research began by viewing communication from a linguistic/psychological angle, and in recent years has started to look at the social aspects of communication. The main themes he's worked on in the past are quantification, presupposition, and conversational implicatures. More recently, he's worked on speech acts and common ground..
Course: Introduction to Pragmatics
Dr. Korotkova is a fellow of the Alexander von Humboldt foundation, and is currently affiliated with the linguistics department of the University of Konstanz, and the University of Tübingen. Dr. Korotkova is interested in how and why languages differ, what is universal in natural language, the division of labor between semantics and pragmatics, and on the synthesis between linguistics and philosophy.
Professor Szabo is a professor of philosophy at Yale University. His interests lie in philosophy of language and metaphysics. His current areas of research are the semantics of modality, tense and aspect, the relationship between lexical and ontological categories, and the nature of context.