Service

2022

• International Conference on Computer-Aided Verification
  
  Artifact evaluator
  

  CAV · Haifa · 2022

2021

• International Colloquium on Automata, Languages and Programming
  
  Student volunteer
  

  ICALP · Virtual · 2021

• International Conference on Computer-Aided Verification
  
  Student volunteer
  

  CAV · Virtual · 2021

• Symposium on Principles of Programming Languages
  
  Mentor
  

  POPL · Virtual · 2021

2020

• Conference on Systems, Programming, Languages, and Applications
  
  Student volunteer, mentor
  

  SPLASH · Virtual · 2020

• Programming Language Design and Implementation
  
  Student volunteer
  

  PLDI · Virtual · 2020

• Symposium on Principles of Programming Languages
  
  Student volunteer
  

  POPL · New Orleans · 2020

2019

• Conference on Algebra and Coalgebra in Computer Science
  
  Student volunteer
  

  CALCO · London · 2019

• Conference on the Mathematical Foundations of Programming Semantics
  
  Student volunteer
  

  MFPS · London · 2019