- Campus:
- IU Bloomington
Research: Applied Logic
My general area of interest is applied logic: the study of mathematical and conceptual tools for use in computer science, linguistics, artificial intelligence and other areas. Applied logic is applied mathematics. It is logic looking outward, reaching towards the diverse collection of worlds in which logic is used.
NASSLLI 2018 Class: Logic for natural language, logic in natural language
- Dexter C. Kozen Symposium, April 2012.
- Coalgebraic Methods in Computer Science (CMCS'12)
Recent talks
- Course on Circularity at ESSLLI2012 (make the site for this one nelson)
- Course on Natural Logic @ESSLLI 2010
- Survey of Final Coalgebras
- Natural Logic and Semantics
- Applied Logic in the Undergraduate Mathematics Curriculum
- Computer Programs that Trade Places with all Possible Inputs
- Zip Specifications and Automatic Sequences
- Introducing Initial Algebras and Final Coalgebras
- Talk for high school Algebra 2 students on monotonicity in algebra and language
- School of Informatics Colloquium: Textual Entailment and Natural Logic
Events
- Tbilisi Symposium on LLC
- Topology, Algebra, and Categories in Logic 2013 (TACL'13)
- Math Foundations of Programming Semantics (MFPS'13)
- Natural Language in CS (NLCS)
- Algebra and Coalgebra in Computer Science (CALCO'13)
- Logic in Computer Science (LICS'13)
- Logical Foundations of CS (LFCS'13)
- Theoretical Aspects of Rationality and Knowledge (TARK'13)
- Advances in Modal Logic (AiML'12)
- 8th Scandinavian Logic Symposium (SLS'12).
- European Summer School in Logic, Language, and Information (ESSLLI'12)
- Conference on Formal Grammar (FG'12), August 2012.
- Reasoning and Interaction at NASSLLI (RAIN)
- North American Summer School in Logic, Language, and Information (NASSLLI'12)
- Logic in Comptuer Science (LICS'12), June 2012.
- Turing Centenary Conference: Computability in Europe (CiE'12)
- Indiana University Turing Symposium: May 8-9, 2012