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.