Hello there.

Welcome! I am an EECS PhD student at the University of California, Berkeley, advised by Professor Edward Lee and Professor Sanjit Seshia. My main interest lies in leveraging formal methods to verify cyber-physical systems. I am also broadly interested in the Internet of Things (IoT), security, blockchain, and quantum computing.

I am currently working on verifying Reactor-based systems and the verification engine UCLID5.

My past research projects include:

• Scivik, a formal verification toolchain for Ethereum smart contracts,
• CArmor, a C compiler extension that produces program partitions for network enclaves,
• CQSD, an efficiency-oriented secure quantum communication protocol,
• Serverlessnet, a serverless-enabled IoT network prototyping software.

I am also interested in entrepreneurship and have worked for a couple of startups in the past. To learn more about my experiences, please check out my CV and portfolio. I believe in producing high-quality work in everything I do.