Selected Talks

• Reasoning About Vectors Using an SMT Theory of Sequences
  SMT 2023, CENTAUR Meeting 2022, SRI International, Ben Gurion University Formal Methods Seminar
  
  
• Recent Developments in Theory Combination: Datatypes, Synergies, and Unicorns
  Invited Talk at FroCoS 2023
  
  
• Politeness and Stable Infiniteness: Stronger Together
  Stanford University Software Lunch
  
  
• Bit-precise Reasoning via Int-Blasting
  Dagstuhl Seminar on Rigorous Methods for Smart Contracts, Formal Reasoning about Financial Systems Workshop, SMT 2022, VMCAI 2022 (video)
  
  
• Towards Bit-Width-Independent Proofs in SMT Solvers
  CADE 2019
  
  
• Satisfiability Modulo Theories in an Undergraduate Class
  Invited Talk at ThEdu 2022
  
  
• Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices
  Invited talk at Workshop on Non-deterministic Semantics for Modal Logics
  
  
• Reasoning Inside The Box: Deduction in Herbrand Logics
  GCAI 2017, Stanford Logic Seminar
  
  
• Cut-Admissibility as a Corollary of the Subformula Property
  TABLEAUX 2017
  
  
• Gen2sat: A Generic Tool for Reasoning with Non-classical Logics
  IJCAR 2016, Stanford Logic Seminar, SRI International, Nuance Systems Seminar, ASL 2016 Meeting, UTRC Seminar
  
  
• Non-deterministic Matrices in Action
  ASL 2016 Meeting
  
  
• Extensions of Analytic Pure Sequent Calculi with Modal Operators
  GETFUN 2016
  
  
• SAT-based Decision Procedure for Analytic Pure Sequent Calculi
  IJCAR 2014
  
  
• On the Construction of Analytic Sequent Calculi for Sub-classical Logics
  WoLLiC 2014