Eugene Goldberg
Research Assistant Professor at Northeastern University
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolEugene Goldberg is a research-focused computer scientist with over two decades of experience advancing algorithms for hardware synthesis and hardware/software testing and verification. As a Research Assistant Professor at Northeastern University since 2013, he combines academic rigor with practical research roots from a long tenure as a research scientist at Cadence Research Labs. His work centers on efficient algorithms for computationally hard problems, turning theoretical insights from his MS in theoretical physics into tools that improve hardware design and verification workflows. Eugene’s career bridges industry and academia, enabling him to tackle both foundational complexity questions and applied engineering challenges. Based in Boston, he brings deep expertise in algorithm design and a track record of sustained research productivity across evolving hardware verification landscapes. Notably, his background in theoretical physics informs a mathematically grounded approach to pragmatic engineering problems.
9 years of coding experience
15 years of employment as a software developer
Master of Science (MS), theoretical physics, Master of Science (MS), theoretical physics at Belarusian State University
English, Russian
Github Skills (9)
verilog10
checkers10
cbmc10
checker9
verification8
tla8
model-checking7
tlaplus7
cpp6
Programming languages (1)
Github contributions (3)
diffblue/hw-cbmc
Aug 2016 - Aug 2017
The HW-CBMC and EBMC Model Checkers for Verilog
Contributions:74 commits in 1 year
cbmccheckersverilog
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.