[[news]]
date = 2021-08-31
event = "Paper on Vericert accepted at OOPSLA'21"
[[news]]
date = 2021-05-31
event = "Internship with Sandrine Blazy and Delphine Demange on CompCertSSA."
[[news]]
date = 2021-02-05
event = "Invited seminar talk for the Celtique project."
[[news]]
date = 2020-09-10
event = "Artifact review committee at OOPSLA 2020."
[[news]]
date = 2020-06-17
event = "Gold medal at PLDI 2020 SRC Presentation."
[[news]]
date = 2020-06-15
event = "Student volunteer at PLDI 2020."
[[news]]
date = 2020-02-25
event = "Presented Verismith at FPGA 2020."
[[news]]
date = 2019-12-15
event = "FPGA 2020 Verismith paper accepted."
[[news]]
date = 2019-10-03
event = "Started PhD at Imperial College London with John Wickerson."
[[news]]
date = 2019-09-15
event = "Submitted Verismith paper to FPGA 2020."
[[news]]
date = 2019-07-15
event = "Student volunteer at ECOOP 2019."