Sep 2022
It is exciting to start my job as a software engineer at Qualcomm in San Diego.
 |
Address: 5775 Morehouse Drive, San Diego, CA 92121 Email: zfwang96 [at] gmail [dot] com |
Biography
Aug 2022
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.
June 2019
I received my B.Sc. degree from the Department of Computer Science at Nanjing University in China.
Research/Programming Interests
Most of my research work locate in the field of formal verification.
I had some experience in model checking (using TLA+) in my undergraduate study.
My research work in graduate study mainly focused on runtime verification and online monitoring.
As for programming experience, developing mobile applications and console games are part of my unforgettable experiences when I was a junior.
Later, I happened to get in touch with Haskell, Coq and Rust. I enjoyed exploring the flavors of different programming languages.
I had opportunities to get in touch with developing industrial software tools, which is a really challeging and exciting experience.
I am gradually building my mind of system design.
Miscellaneous
1. My hobby in sports
Sports is part of my life. I enjoy and appriecte all the moments shared with my teammates and components.
As a national second-level volleyball athlete, I served as a main attacker of my school team from middle school to college.
I am also a personal trainer certified by ACE. I am currently training for endurance running.
2. My passion for life
I love recording charming moments via
words,
pictures
and videos.