cv
For a more detailed CV, click the pdf icon.
Basics
| Name | Qingjie Lu |
| Label | Building Resilient Systems & Secure Protocols |
| Url | https://qingjielu.com |
| Summary | I focus on two main areas: (1) designing systems and tools to make large-scale data centers more reliable and efficient, and (2) developing straightforward protocols that enhance privacy and public anonymity. |
Volunteer
-
2023.06 - 2023.08 Durham, NC
Teaching Assistant for Programming for Data Analytics
Duke University
Assisted in teaching Programming for Data Analytics.
-
2023.03 - Present Content Creator
Online Content Creation
Created computer science-related videos on Bilibili with over 750k views.
-
2021.09 - Present Rochester, NY
-
2018.05 - 2019.08 Wuhu, China
English Teacher and Mentor
Local Community in Wuhu, China
Taught English and mentored students in my hometown.
Education
-
2024.08 - Present Philadelphia, PA
-
2022.01 - 2024.01 Durham, NC
Master of Science
Duke University
Computer Science
- Operating Systems
- Distributed Systems
- Advanced Architecture
- Advanced Networks
- Computer Security
- Natural Language Processing
- Generative Models
- Secure Software Systems
-
2017.01 - 2021.01 Rochester, NY
Bachelor of Science & Bachelor of Arts
University of Rochester
Computer Science & Financial Economics
- Design of Efficient Algorithms
- Programming Language Design & Implementation
- Computation & Formal Systems
- Computer Architecture
- Machine Learning
- Web Development
- Behavioral Economics
Certificates
| Systems Software Verification Summer School Course | ||
| University of Michigan | 2023-05-01 |
| AWS Certified Developer | ||
| Amazon Web Service | 2019-11-01 |
| AWS Certified Solutions Architect Associate | ||
| Amazon Web Service | 2019-11-01 |
Skills
| Systems Development | |
| xv6 programming | |
| seL4 | |
| C |
| Formal Verification | |
| Dafny | |
| Verus |
| Cryptographic Protocols | |
| Go | |
| protocol implementation |
| 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
Modeling Metastability
Designed and implemented algorithms and simulation tools to detect potential metastable failures in data centers.
- Algorithm design
- Simulation tools
- Metastability detection
-
2023.09 - Present
A Framework for Verifying Certificate Transparency Log Consistency
Prototyped a protocol enabling anonymous reporting of web certificate entries with fault tolerance and ongoing security enhancements.
- Protocol prototyping
- Fault-tolerant implementation
- Zero-knowledge proofs development
-
2023.05 - Present
Accountable IO on seL4
Developed a prototype for Accountable IO on the seL4 microkernel, including a formal specification in Verus/Rust and exploration of kernel issues.
- Formal specification
- Fault tolerance
- seL4 kernel exploration