Eric Lu
Member Of Technical Staff at Imbue
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolEric Lu is a Member of Technical Staff based in San Francisco with 11 years of engineering experience and a PhD in Computer Science from Harvard focused on applying symbolic execution and SMT solving to synthesis and verification of systems code. He blends deep systems expertise—OS, compilers, distributed systems and GPU programming—with applied machine learning and high-performance kernel work, and he has a track record of turning research prototypes into high-impact implementations. At Harvard he advanced program verification techniques for low-level code, and his internships show practical results from speeding numerical pipelines by 100–1000x to extending C libraries with tensor-decomposition algorithms. Known wryly as a “human-computer interface,” he pairs rigorous formal methods thinking with pragmatic engineering to make computers do things fast.
11 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Harvard University
Github Skills (18)
telegram-bot5
telegram4
solver4
code-golf3
cli3
relational-algebra3
apl3
rosette3
extraction3
scheme3
racket2
synthesis2
telegram-api2
telegram-client2
lisp2
Programming languages (5)
Github contributions (5)
penlu/dreal-ce-synth
Nov 2017 - Jan 2025
Contributions:9 pushes, 1 branch in 7 years 3 months
penlu/fluffy-spork
Dec 2018 - Nov 2019
Contributions:21 pushes, 1 branch in 10 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.