Talks

Graded Modal Types.
Seminar Talk, Principles of Programming Group (PoP), Computer Science Department, Carnegie Mellon University.
2020.
[Slides]
[PDF Slides]

On Linear Logic, Functional Programming, and Attack Trees.
Fifth International Workshop on Graphical Models for Security.
2018.
[Slides]
[PDF Slides]

On the Lambek Calculus with an Exchange Modality.
2018 Joint Workshop on Linearity & TLLA: The 5th Workshop on Linearity and the 2nd Workshop on Trends in Linear Logic and Applications.
2018.
[PDF Slides]

Advancing PL Based Formal Methods Research and Education.
The Programming Languages and Systems (PLAS) Seminar at University of Kent.
2018.
[Slides]
[PDF Slides]

Dialectica Categories for the Lambek Calculus.
Logical Foundations of Computer Science (LFCS).
2018.
[Slides]
[PDF Slides]

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 TwentyThird EACSL Annual Conference on Computer Science Logic (CSL) and the TwentyNinth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Part of the Vienna Summer of Logic.
2014.
[Slides]

On the Categorical Structure of BiIntuitionistic Logics.
The University of Iowa MiniSymposium.
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]