Talks

  • On Linear Modalities for Exchange, Weakening, and Contraction. Workshop on Linear Logic, Mathematics, and Computer Science. Associated with Linear Logic: Interaction, Proofs, and Computation (LL2016). 2016. [Slides]
  • The Three Perspectives of Computation. Department of Mathematical Sciences Colloquium Speaker. Georgia Southern University. 2016. [Slides]
  • A New Foundation of Attack Trees in Monoidal Categories. Computer Science Department Colloquium Speaker. University of Iowa. 2016. [Slides]
  • Multiple Conclusion Linear Logic: Cut Elimination and more. Logical Foundations of Computer Science (LFCS). 2016. [Slides]
  • Hereditary Substitution for the λΔ-Calculus. Fifth International Workshop on Classical Logic and Computation (CL&C). Affiliated with the joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Part of the Vienna Summer of Logic. 2014. [Slides]
  • On the Categorical Structure of Bi-Intuitionistic Logics. The University of Iowa Mini-Symposium. 2013. [Slides]
  • Hereditary Substitution for the λΔ-Calculus. Fourth International Workshop on Classical Logic and Computation. Affiliated with ICALP. 2012. [Slides]
  • Exploring the Reach of Hereditary Substitution. University of Pennsylvania PL Club. 2012. [Slides]
  • Hereditary Substitution for Classical Natural Deduction. Trellys Meeing. Held at the University of Pennsylvania. 2012. [Slides]
  • Separation from Proof and Program. Midwest Verification Day. 2011. [Slides]