Matthew Hofmann
Engineering Intern at Cornell Zhang Research Group
Philadelphia, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolMatthew Hofmann is a research-focused electrical and computer engineer with six years of experience applying FPGA and graphics-system techniques to real-world problems, currently pursuing a PhD at Cornell after earning dual degrees in Computer Engineering and Mathematics from UPenn. His work spans academic and industry internships—including Intel and Synopsys—where he explored graphics numerical systems and dynamic FPGA execution models, with publications on partial reconfiguration and bit-serial computation tradeoffs. Based in Philadelphia, he combines low-level hardware design intuition with algorithmic rigor and hands-on assembly experience (notably building custom split-flap displays), signaling a practical maker mindset alongside deep research chops. Quietly meticulous, he even encodes personal preferences into his GitHub bio (1.0625 sens @ 800 dpi), hinting at an engineer who cares about precision at all scales.
6 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Electrical and Computer Engineering, Doctor of Philosophy - PhD, Electrical and Computer Engineering at Cornell UniversityBachelor of Science in Engineering - BSE, Computer Engineering, Bachelor of Science in Engineering - BSE, Computer Engineering at University of Pennsylvania
Spanish
Github Skills (39)
intermediate-language10
netlist9
llvm9
verilog9
hardware9
toolchain9
compiler9
hdl8
fpga8
bitstream8
yosys8
synthesis8
eda8
egg7
equation7
Programming languages (10)
Github contributions (5)
matth2k/safety-net
Jul 2025 - Jul 2026
A reference-counted netlist library for EDA tool development
Contributions:17 releases, 39 reviews, 44 PRs in 11 months
edanetlisthdlrtlrust
cornell-zhang/eqmap
Jul 2025 - Jun 2026
Using e-graphs for logic synthesis (ICCAD'25)
Contributions:2 releases, 5 reviews, 35 PRs in 10 months
eggfpgarustverilogyosys
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.