- PhD., Computer Science, Virginia Tech, 2015
- B.E., Software Engineering, Shanghai Jiao Tong University, 2009
- Program Analysis
- Software Engineering
- Programming Languages
- Software Security
Major Honors and Awards:
- The research paper “Evaluating Fuzz Testing” published at CCS 2018 selected as the winner of 7th annual NSA Best Scientific Cybersecurity Paper Competition.
- Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, and Shiyi Wei. Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels. In The 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017).
Previous Profile: Vogel, Don G.
Next Profile: Willson, James