Jianjun Lang
Summary
Security-focused software engineer and researcher: formal verification of the Rust standard library (CMU x AWS), systems security research with publications under review at USENIX Security and NDSS. MS in Information Security (CMU).
Education
Experience
- Conducted research in confidential computing and secure LLM inference.
- Built an automated verification tool validating key modules of the Rust standard library, improving code reliability.
- Applied formal verification to reduce software errors; reported critical findings and optimized core Rust ecosystem code with the AWS team.
- Reconstructed underground structures in 3D from Ground Penetrating Radar (GPR) signal return times.
- Containerized robot algorithm dependencies with Docker, eliminating dependency conflicts and cutting on-device compute load.
- Developed and optimized a YOLO-based detection algorithm (Python) for automatic identification of loosened bolts on transmission towers.
- Built drone imagery processing software: extracted image metadata and reconstructed flight paths for visualization.
Skills
Programming Languages: C/C++, Python, Rust, Java, Bash, SQL, JavaScript, MATLAB
Systems & Cloud: Linux, Docker, Kubernetes (GKE), GCP, Git, gdb
Security & Verification: Formal Verification (Verus, Kani), Malware Analysis, Information Security
Languages: English (fluent), Chinese (native)