Zhengjie Ji

alt text 

Ph.D. Student at Virginia Tech
Department of Computer Science

Blacksburg, VA

About:
  • CV
  • Email
  • LinkedIn
  • Google Scholar
  • Biography

    I am a Ph.D. student in the Computer Science Department at Virginia Tech, advised by Prof. Dan Williams. My research focuses on operating systems, with an emphasis on extended Berkeley Packet Filter (eBPF) and verification techniques. Currently, I am working on generalizing the eBPF verifier to enhance the reliability and correctness of operating system components.

    Awards

    • Bitshares Fellowship, 2023

    • CCI SWVA Cyber Innovation Scholarship, 2023

    • KTH Covid-19 Financial Aid Scholarship, KTH Royal Institute of Technology, 2021

    • Hattrick Award, KTH Royal Institute of Technology, 2020

    Professional Services

    • [TDSC’23] External Reviewer, IEEE Transactions on Dependable and Secure Computing, 2023

    • [CCS’23] External Reviewer, ACM Conference on Computer and Communications Security, 2023

    • [CCS’22] Volunteer, ACM Conference on Computer and Communications Security, 2022

    Teaching Experience

    • Teaching Assistant, Virginia Tech, CS2114 Software Design and Data Structures, 2024

    • Teaching Assistant, Virginia Tech, CS5560 Fundamentals of Info Security, 2024

    • Teaching Assistant, Virginia Tech, CS5594 Blockchain Technologies, 2023

    • Teaching Assistant, Shanghai Jiao Tong University, VE492 Intro to Artificial Intelligence, 2021

    Education

    • Ph.D. in Computer Science, Virginia Tech, 2022 - present

    • M.S. in Computer Science and Engineering, KTH Royal Institute of Technology, 2020 - 2023

    • B.E. in Electrical and Computer Engineering, Shanghai Jiao Tong University, 2017 - 2021

    Publications