You must login to Pivot in order to edit your profile.Login or create an account
Learn more about: Account set-up and claiming your profile Updating your Pivot profile
Areas of Interest: Category theory, Combinatorics, Linear logic, Geometry of Interaction.
Research Interests: category theory; mathematical logic; theoretical computer science
Research Areas:
Professor, Department of Mathematics, College of Arts and Sciences, Indiana University Bloomington 2017
Mathematics, School of Informatics, Computing, and Engineering, Indiana University Bloomington
Associate Dean, Department of Informatics, Luddy School of Informatics, Computing, and Engineering, Indiana University Bloomington
Professor, Department of Informatics, Luddy School of Informatics, Computing, and Engineering, Indiana University Bloomington
Center for Security and Privacy in Informatics, Computing, and Engineering, Luddy School of Informatics, Computing, and Engineering, Indiana University Bloomington
Adjunct Associate Professor , Department of Mathematics, College of Arts and Sciences, Indiana University Bloomington
Assistant Professor, Department of Mathematics, College of Arts and Sciences, Indiana University Bloomington
Associate Professor, Computer Science, Luddy School of Informatics, Computing and Engineering, Indiana University Bloomington
Associate Professor, Intelligent Systems Engineering, Luddy School of Informatics, Computing and Engineering, Indiana University Bloomington