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.
My industry experience centers on SoC CAD and design automation, where I build scalable workflows and engineering tools for complex hardware systems. This work has strengthened my understanding of the intersection of software engineering and hardware design.
Passionate about crafting clean, user-friendly interfaces. I enjoy blending design principles with front-end development to build responsive websites and apps that deliver excellent user experiences.
Distance running has become one of the most meaningful parts of my life. It teaches me discipline, resilience, and patience. What began as a physical challenge gradually became a form of moving meditation. Every mile is an opportunity to grow, push boundaries, and explore what lies beyond perceived limits.
I played volleyball competitively from middle school through college as a main attacker and earned the title of National Second-Level Athlete. Those years shaped not only my athletic foundation, but also my understanding of teamwork, communication, leadership, and performing under pressure.
As an ACE Certified Personal Trainer and Precision Nutrition Level 1 Coach, I'm passionate about fitness, wellness, and sustainable healthy living. I enjoy helping people build strength, confidence, and lasting habits while continuing to grow through my own active lifestyle and training journey.