News

Jan 24, 2025

Achievements in the POPL'25 Student Research Competition:

  1. Grace won the Gold medal (graduate student category) for her work on Store Order Consistency Testing for C-like memory models, and complexity theoretic questions around it.
  2. Jed won the Gold medal (undergraduate student category) for his work on designing property testing algorithms for trace closures of regular languages.
Aug 16, 2024

PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us!

Jun 26, 2024

Alexey Paznikov joins us as a Research Fellow!