Service

• International Colloquium on Automata, Languages and Programming (ICALP)
  
  Student volunteer
  

  Virtual · 2021

• International Conference on Computer-Aided Verification (CAV)
  
  Student volunteer
  

  Virtual · 2021

• Symposium on Principles of Programming Languages (POPL)
  
  Mentor
  

  Virtual · 2021

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

  Virtual · 2020

• Programming Language Design and Implementation (PLDI)
  
  Student volunteer
  

  Virtual · 2020

• Symposium on Principles of Programming Languages (POPL)
  
  Student volunteer
  

  New Orleans · 2020

• Conference on Algebra and Coalgebra in Computer Science (CALCO)
  
  Student volunteer
  

  London · 2019

• Conference on the Mathematical Foundations of Programming Semantics (MFPS)
  
  Student volunteer
  

  London · 2019