Daniel Lehmann

Software Engineer at Google

Frankfurt Rhine-Main Metropolitan Area Germany
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Daniel Lehmann is a software engineer with 11 years of experience specializing in programming languages, compilers, and security; he currently works on V8’s WebAssembly support at Google. He holds a summa cum laude PhD on static and dynamic analyses, automated testing, and runtime security for WebAssembly, and his work has appeared at PLDI, ASPLOS (best paper), USENIX Security and Black Hat. Prior internships at Google, Microsoft Research, and Oracle Labs complement deep academic training from Technische Universität Darmstadt and IIT Delhi. Daniel blends systems-level engineering in a production browser engine with rigorous research on program analysis and fuzzing, bringing both production-hardened code and peer-reviewed contributions. An understated capability is his track record of translating formal analysis techniques into practical tooling for securing and testing real-world binaries.
code11 years of coding experience
job6 years of employment as a software developer
bookIndian Institute of Technology Delhi (IIT Delhi)
bookTechnischen Universität Darmstadt
bookDr. rer. nat., Computer Science, summa cum laude, Dr. rer. nat., Computer Science, summa cum laude at Universität Stuttgart
languagesGerman, English
github-logo-circle

Github Skills (57)

javascript10
gtk10
dynamic-analysis10
emscripten10
webassembly10
webkit9
meta9
safari9
ios9
browser9
toolchain9
macos9
compiler8
linux8
file-operations8

Programming languages (12)

JavaC++RustCLLVMScalaJavaScriptWebAssembly

Github contributions (5)

github-logo-circle
danleh/main_error

Sep 2019 - Sep 2021

Print errors with Display instead of Debug when using ? in main()
Contributions:9 commits, 1 PR, 11 pushes in 1 year 11 months
debuggingdebug
danleh/JetStream

Nov 2024 - Feb 2026

An open source repository for the JetStream benchmark
Contributions:75 pushes, 59 branches in 1 year 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial