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 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]