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.