Zheng Han has been awarded the NUS Outstanding Undergraduate Researcher Prize (OURP) (AY2023/2024) for his work on efficient decrease-and-conquer algorithms for linearizability monitoring of concurrent data structures. Congratulations, Zheng Han!
Zheng Han has been awarded the NUS Outstanding Undergraduate Researcher Prize (OURP) (AY2023/2024) for his work on efficient decrease-and-conquer algorithms for linearizability monitoring of concurrent data structures. Congratulations, Zheng Han!