About me
I'm a Principal Software Systems Research Engineer at Huawei. I work in the intersection of programming languages, security and formal methods. I'm particularly interested in developing and using automatic tools to make low level code correct, secure and performant on emerging architectures.
If you want to get in contact, please send me an email
I am / have been serving on the program committees of the following conferences and workshops:
- SVCOMP 2023: Program Committee / Jury
- ECOOP 2023: Artifact Evaluation Chair
- PLDI 2022: Artifact Evaluation Committee
- SVCOMP 2022: Program Committee / Jury
- USENIX Security 2022: Artifact Evaluation Committee
- POPL 2022: Artifact Evaluation Committee
- PLAS 2021: Program Committee
- S&P 2021: Shadow Program Committee
- PLDI 2021: Artifact Evaluation Committee
- SVCOMP 2021: Program Committee / Jury
- OOPSLA 2020: Artifact Evaluation Committee
- PLDI 2020: Artifact Evaluation Committee
- SVCOMP 2020: Program Committee / Jury
- POPL 2020: Artifact Evaluation Committee