• "Declarative Name Binding for Type System Specifications." 15 January 2025. Delft Unviersity of Technology. slides video publication
• "Scopes as Types." 07 November 2018. OOPSLA 2018, Boston, MA, USA. slides video publication
• "A Constraint Language for Static Semantic Analysis Based on Scope Graphs." 19 January 2016. PEPM 2016, St. Petersburg, FL, USA. slides publication
• "A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs." 07 January 2016. MSc Defense, Delft University of Technology. slides publication