Jed Liu

Software Engineer at Cornell Lab of Ornithology

United States
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
Jed Liu is a seasoned software engineer with 25 years of experience building secure distributed systems, compilers, and programming languages, currently contributing to the eBird and Merlin back end at the Cornell Lab of Ornithology. He has led compiler security and tooling efforts at Intel’s Barefoot division, co-designed parts of the P4 language toolchain, and made tangible open-source contributions to the widely used p4c reference compiler—improving annotation parsing, JSON generation, and build-system robustness. A Ph.D. graduate from Cornell with deep roots in information-flow security and mechanical theorem proofs, Jed blends academic rigor with production engineering, having also helped found and scale early-stage startup Akita Software and served as a staff engineer at Postman. Known for turning formal methods into practical developer tools, he pairs systems-level thinking with hands-on compiler internals and distributed runtime experience.
code25 years of coding experience
job22 years of employment as a software developer
bookUpper Canada College
bookDoctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Cornell University
languagesChinese, English, Chinese
github-logo-circle

Github Skills (9)

p4v10
compiler-design10
c-language10
p4a10
cprogramming-language10
p4lang10
p4api10
cmake9
python8

Programming languages (14)

JavaC++CRustP4TeXGoKotlin

Github contributions (5)

github-logo-circle
p4lang/p4c

Jan 2018 - Nov 2020

P4_16 reference compiler
Role in this project:
userBack-end Developer
Contributions:23 commits, 39 PRs, 84 pushes in 2 years 11 months
Contributions summary:Jed primarily contributed to the compiler's internal workings, specifically focusing on refactoring and implementing new features. Their work involved modifying the JSON generation process within the compiler and reverting changes related to file path sanitization in the CMake build system. They also added support for free-form annotations and improved annotation parsing. Additionally, the user addressed an issue related to systems defaulting to python3 and implemented several fixes and improvements to annotation parsing.
compilerbazel-rulesbazelp4p4c
Common generic functions and data structures.
Contributions:23 reviews, 36 PRs, 39 pushes in 2 years 3 months
genericlensesdata-structuresgeneric-programminggeneric-functions
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
Jed Liu - Software Engineer at Cornell Lab of Ornithology