News

2024-04-19Defended my PhD thesis in front of Xavier Leroy and George Constantinides.
2024-02-13Submitted my PhD thesis.
2024-01-14Attended POPL'24 in London.
2023-12-01Started as a postdoc with Thomas Bourgeat in the VCA lab.
2023-01-16Presented our CPP'23 paper in Boston.
2022-12-19Internship at Amazon in the Prime Video Automated Reasoning Group.
2022-10-31Present verified GSA semantics at CAS Group.
2022-08-12Talk at the Concurrency Meeting 2022 about Formalising Predicated Execution.
2022-06-28Program Committee for PERR'22.
2022-06-17Presented the OOPSLA'21 paper at PLDI'22.
2022-05-18Invited talk at the FLASHLIGHT workshop at FCCM'22.
2022-03-04Artefact evaluation for PLDI'22.
2022-02-24Invited talk at PEQ'22.
2022-02-07Subreviewer for FCCM'22.
2021-11-24Artifact evaluation for CGO'22.
2021-11-22Present hyperblock scheduling at CAS Group.
2021-09-16Present Vericert at the Formal Methods group at Chalmers.
2021-08-31Paper on Vericert accepted at OOPSLA'21.
2021-05-31Internship with Sandrine Blazy and Delphine Demange on CompCertSSA.
2021-02-05Invited seminar talk for the Celtique project.
2020-12-07Present Vericert in front of CAS Group.
2020-09-10Artifact review committee at OOPSLA 2020.
2020-06-17Gold medal at PLDI 2020 SRC Presentation.
2020-06-15Student volunteer at PLDI 2020.
2020-02-25Presented Verismith at FPGA 2020.
2020-02-03Presented Verismith in front of CAS Group.
2019-12-15FPGA 2020 Verismith paper accepted.
2019-10-03Started PhD at Imperial College London with John Wickerson.
2019-09-15Submitted Verismith paper to FPGA 2020.
2019-07-15Student volunteer at ECOOP 2019.
2019-07-01Present fuzzing Verilog for CAS Group.