POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Haojia Sun

Registered user since Tue 5 Dec 2023

Name:Haojia Sun

Haojia, from Shanghai, China, is a senior undergraduate student at University of Michigan-Shanghai Jiao Tong University Joint Institute majoring in Electrical and Computer Engineering. Her research interest includes leveraging formal verification methods to construct secure and robust programming languages. She is working with Dr. Jonathan Aldrich at Carnegie Mellon University on building a compiler in Scala programming language, to apply gradual verification techniques to a smart contract language called TEAL, within the Algorand blockchain platform.

Affiliation:Shanghai Jiao Tong University
Research interests:Gradual Verification, Programming Languages, Security, Machine Learning


Show activities from other conferences

POPL 2024-profile
View general profile