cv
For a more detailed CV, click the pdf icon.
Basics
| Name | Qingjie Lu |
| Summary | My research interests span the intersection of data center systems, applied cryptography, and privacy. I focus on two principal directions: (1) designing systems and large-scale tools to enhance the resilience, efficiency, and security of data centers, and (2) developing novel protocols to strengthen privacy at a large scale and building privacy-preserving digital infrastructure. |
Education
-
2024.08 - Present Philadelphia, PA
-
2022.01 - 2024.01 Durham, NC
-
2017.01 - 2021.01 Rochester, NY
Bachelor of Science & Bachelor of Arts
University of Rochester
Computer Science & Financial Economics
Publications
-
2026 Running Distributed Systems Like Clockwork
NiNES '26
Karan Newatia, Robert Gifford, Qingjie Lu, Andreas Haeberlen, and Linh Thi Xuan Phan.
-
2025 Modeling Metastability
HotNets '25
Ali Farahbakhsh, Andreas Haeberlen, Qingjie Lu, Lorenzo Alvisi, Robbert van Renesse, and Shir Cohen Gahtan.
-
2022 Neural Network-Based Approaches for Aspect-Based Sentiment Analysis
Highlights In Science, Engineering and Technology
2022 4th International Conference on Information Science and Electronic Technology. Qingjie Lu.
Volunteer
-
2026 - 2026 Artifact Evaluation Committee Member
EuroSys '26
Served on the Artifact Evaluation Committee for the European Conference on Computer Systems (EuroSys '26).
Certificates
| Systems Software Verification Summer School Course | ||
| University of Michigan |
| AWS Certified Developer | ||
| Amazon Web Service |
| AWS Certified Solutions Architect Associate | ||
| Amazon Web Service |
Skills
| Systems Development | |
| xv6 programming | |
| seL4 | |
| C |
| Formal Verification | |
| Dafny | |
| Verus | |
| Distributed Systems Proofs |
| Cryptographic Protocols | |
| Go | |
| Low-level APIs |
| ML & Deep Learning | |
| PyTorch | |
| NLP | |
| Computer Vision |
| Web Development | |
| React | |
| Node.js | |
| AWS |
Languages
| Chinese | |
| Bilingual |
| English | |
| Bilingual |
| German | |
| Elementary |
Interests
| Research | |
| Systems | |
| Data Centers | |
| Applied Cryptography | |
| Privacy |
| Hobbies | |
| Classic Guitar | |
| Soccer | |
| Audiobooks | |
| Legal Studies | |
| Taekwondo | |
| History | |
| Poker | |
| Team Fight Tactics | |
| Black Myth: Wukong |
Projects
-
2024.09 - Present
The Synchronous Data Center
Designing detailed choreographies for a synchronous network paradigm in hyperscale data centers to improve efficiency, predictability, and enable new high-performance services by addressing limitations of traditional asynchronous designs.
- Synchronous network paradigm
- Hyperscale data centers
- Supported by NSF CNS Core
-
2024.09 - Present
Modeling Metastability
Designed and implemented algorithms and simulation tools to detect potential metastable failures, a novel type of failure that indicates vulnerable data centers that could not recover from high traffic loads even after the heavy loads were removed.
- Algorithm design
- Simulation tools
- Metastability detection
-
2023.09 - Present
A Framework for Verifying Certificate Transparency Log Consistency
Prototyped a complex protocol that enables clients to report web certificate entries to a semi-honest auditor anonymously. Implemented a fault-tolerant version using Shamir Secret Sharing.
- Anonymous reporting protocol
- Shamir Secret Sharing
- Elliptic curve mapping
-
2023.05 - Present
Accountable IO on seL4
Prototyped the Accountable IO (AIO) on the seL4 microkernel. Implemented a detailed formal specification of AIO in Verus Rust, utilizing the verified attributes of the seL4 microkernel.
- seL4 microkernel
- Verus Rust
- Formal specification