Sep 2022
It is exciting to start my job as a software engineer at Qualcomm in San Diego.
Zhifu Wang
Crafting code by day, chasing miles by night
Crafting code by day, chasing miles by night
It is exciting to start my job as a software engineer at Qualcomm in San Diego.
I obtained my M.Sc. degree from the Department of Computer Science at Rice University, advised by Konstantinos Mamouras. My thesis was titled as A Domain-Specific Language Approach for Quantitative Monitoring of Cyber-Physical Systems.
I received my B.Sc. degree from the Department of Computer Science at Nanjing University in China.
My primary research focus lies in formal verification methods. I have experience with model checking using TLA+ and graduate research in runtime verification and online monitoring of cyber-physical systems using Rust.
I enjoy exploring diverse programming paradigms - from mobile apps and console games to functional programming with Haskell and formal proofs in Coq.
Working with industrial software tools has been both challenging and rewarding. This experience continues to shape my understanding of system design and large-scale software architecture.
My passion for distance running combines physical challenge with mental meditation. Every mile is a journey of personal growth and boundary-pushing.
National second-level athlete and main attacker from middle school through college. Team sports taught me leadership, strategy, and collaboration.
Combining athletic experience with scientific knowledge to help others achieve their fitness goals while continuing my own athletic journey.