Logic Faculty Members
Carlo Angiuli
Assistant Professor of Computer Science
Sharon Berry
Assistant Professor of Philosophy.
Mehmet M. Dalkilic
Professor of Computer Science. His research includes three areas: data mining, database, and bioinformatics. In data mining, he is interested in novel classification techniques and their effective implementation. In databases, he working on query optimization through the use of entropy and modeling of XML. In bioinformatics he is working on two different kinds of projects. The first is the PFA, an information system for the management of protein family annotations. The second project is in computational genomics, applying the novel classification technique from circuit minimization to better classify orthologous protein families.
Gary Ebbs
Professor of Philosophy. He is interested in a group of interconnected topics in the philosophy of logic, language and mind, including rule-following, meaning, the analytic-synthetic distinction, anti-individualism, realism, skepticism, self-knowledge, and truth. Also interested in the history of analytic philosophy, especially the writings of Frege, Wittgenstein, Carnap, and Quine. Publications include Rule-Following and Realism , "Can We Take Our Words at Face Value?" "The Very Idea of Sameness of Extension Across Time," "Carnap's Logical Syntax," "Learning from Others," and "A Puzzle About Doubt." Currently developing a conception of words that licenses us accept our ordinary, non-deliberative applications of our own Tarski-style disquotational truth predicates to other speakers' sentences, as well as to our own sentences as we used them in the past.
Jacob G. Foster
Professor of Informatics and Cognitive Science.
Thomas Grano
Associate Professor of Linguistics. His research interests lie in natural language semantics, especially in relation to the syntax-semantics interface and to issues of cross-linguistic (non-)variation. His specific interests include tense/aspect/modality systems, gradability and comparison, binding and coreference phenomena, and the grammar of Mandarin Chinese.
Amit Hagar
Professor of History and Philosophy of Science and Medicine. He was born and educated in Israel, and received his B.A. (1996) and MA (2000) in philosophy from the Hebrew University of Jerusalem. He wrote his M.A. thesis on the hole argument and the ontology of spacetime theories. His Ph.D. thesis, entitled "Chance and Time" (2004) was written in Vancouver in the University of British Columbia and concerns the foundations of statistical physics. It was also published as an expository book on the philosophy of physics in Israel. His main interests span the foundations of modern physics, especially the origin and source of the probabilities one encounters in statistical and quantum mechanics, the philosophy of time, and the notion of physical computation, especially in the context of quantum information theory. He is currently engaged in several projects in those fields.
Esfandiar Haghverdi
Professor of Informatics. He received B.Sc. and M.Sc. degrees in electrical and electronics engineering and wrote a masters thesis on the verification of finite state programs. Later he got a Ph.D. in mathematics, specializing in mathematical logic and category theory. As it is perhaps evident from this background, his research interests cover a wide spectrum ranging from categorical proof theory to hybrid dynamical systems. Specific interests include the geometry of interaction, ludics, algebraic proof theory, and bisumulation in dynamical, control, and hybrid systems.
Daniel Leivant
Professor of Computer Science and Adjunct Professor of Mathematics and of Philosophy. Leivant's work is mostly on the logical foundations of computing theory and of constructive mathematics. Much of his more recent research has been on relations between logic and computational complexity, including computational complexity for functions of higher type. He also has ongoing interests in formal reasoning about programs, program derivation and transformation, software specification, modal logics, proof theory, and foundational aspects of mathematical logic.
Kirk Ludwig
Professor of Philosophy. He works on foundational issues in the philosophy of language, especially in connection with meaning, truth and logical form in natural language, and in the philosophy of mind and action, epistemology, and metaphysics. He is the editor of the volume on Donald Davidson (2003) in the Cambridge Contemporary Philosophy in Focus series, and he is coauthor with Ernie Lepore (Rutgers) of Donald Davidson: Meaning, Truth, Language and Reality (OUP 2005) and Donald Davidson‘s Truth- theoretic Semantics (OUP 2007). Recent articles include “Logical Form,” in The Routledge Companion to the Philosophy of Language (in press), “Truth and Meaning Redux” (with Ernie Lepore, Philosophical Studies, 2010), “Semantics” (Cambridge Encyclopedia of the Language Sciences, 2010), “Adverbs of Action and Logical Form” (A Companion to the Philosophy of Action, Wiley, 2009), “Fodor‘s Challenge to the Classical Computational Theory of Mind” (with Susan Schneider, Mind and Language, 2008), “The Concept of Truth and the Semantics of the Truth Predicate” (with Emil Badici, Inquiry, 2007), “Collective Intentional Behavior from the Standpoint of Semantics” (Noûs, 2007), “Ontology in the Theory of Meaning” (with Ernie Lepore, International Journal of Philosophical Studies, 2006), “Semantics for Nondeclaratives” (with Daniel Boisvert, Oxford Handbook of the Philosophy of Language, 2006), and “Davidson‘s Objection to Horwich‘s Minimalism about Truth” (Journal of Philosophy, 2004).
Calum McNamara
Assistant Professor, Philosophy.
Lawrence S. Moss
Director, IU Program in Pure and Applied Logic. Professor of Mathematics; Adjunct Professor of Computer Science, Informatics, Linguistics, and Philosophy, and associated with the Cognitive Science and Computational Linguistics Programs. He has served as editor of the Journal of Logic, Language, and Information and the Review of Symbolic Logic, and is on the editorial board of the Logical Methods in Computer Science, and Logic and Logical Philosophy. He served as chair of the Steering Committee of the North American Summer School in Logic, Language, and Information; also, he co-chaired the Advances in Modal Logic conference and is co-chair of the conference on Algebra and Coalgebra in Computer Science. His research is in areas of applied logic, including logics for natural language inference, dynamic epistemic logic, coalgebraic logic and recursion theory, circularity, and mathematics of language. Past areas include abstract recursion theory, generalized quantifiers, feature structure logics and other interactions of logic and linguistics, modal logic, graph theory, evolving algebras, and abstract data types.
Daniel Quigley
Postdoctoral Fellow, Center for Possible Minds. He works in modal and algebraic logic and the formal semantics of natural and artificial languages. His central program is a vector logic, in which model-theoretic semantics embeds homomorphically into linear-algebraic structures; the extensional base appeared in the Journal of Logic, Language and Information (2025), and successive work treats intensional, counterfactual, hyperintensional, product, and causal modality, with results on completeness, decidability, failure of logical omniscience, and recovery of classical logics as limiting cases. Collaborative work develops a single-sorted, variable-free calculus of relations, whose standard models are quasi-projective relation algebras, a measurement theory for symbol grounding, and natural-logic inference over mathematical prose. He also studies the geometry of learned semantic representations. PhD in Linguistics, University of Wisconsin-Milwaukee, 2025.
Amr Sabry
Professor of Computer Science. Sabry's research is in the general areas of type theory and the semantics of programming languages and their implementations, with a focus on continuations, monads, and their logical foundations.
Leah Savion
Faculty, History and Philosophy of Science and Medicine. Her specialties include logic, cognitive science, philosophy of language, philosophy of logic, epistemology and pedagogical theories. Her other research interests encompass theories of rationality, the psychology of mind and educational psychology. Recent publications include "Rationality, Logic, and Heuristics" (with Raymundo Morado, Conference Proceedings of the Special Session on Knowledge Representation and Reasoning, June 2002 Internal Conference on Artificial Intelligence, CSREA Press), "Walls of Misconceptions" ( The Successful Professor, Aug. 2002), "Naive Logic" ( Iyyun, Jan. 2003), "Enhancing Students' Motivation: Emotive Aspects" ( The Successful Professor, Feb. 2003), and "Enhancing Students' Motivation: Cognitive Aspects ( The Successful Professor, May 2003).
Chung-chieh Shan
Associate Professor of Computer Science. His interests cover many areas related to programming langauge semantics and pragmatics, including probabilistic programming; and also natural language semantics.
Jeremy Siek
Professor of Computer Science. Jeremy's areas of research include programming language design, type systems, mechanized theorem proving using proof assistants, and optimizing compilers. Jeremy's Ph.D. thesis explored foundations for constrained templates, aka the "concepts" proposal for C++. Prior to that, Jeremy developed the Boost Graph Library, a C++ generic library for graph algorithms and data structures. Jeremy post-doc'd at Rice University where he developed the idea of gradual typing: a type system that integrates both dynamic and static typing in the same programming language. Jeremy is currently working on a gradually-typed version of Python, a version of concepts for Chapel, and the automatic generation of memory-efficient linear algebra kernels. In 2009 Jeremy received the NSF CAREER award to fund his project: "Bridging the Gap Between Prototyping and Production". In 2010 Jeremy was awarded a Distinguished Visiting Fellowship from the Scottish Informatics & Computer Science Alliance.
Elif Uskuplu
Zorn Postdoctoral Fellow, Deparment of Mathematics
William Wheeler
Associate Professor of Mathematics