Roman Manevich
Architecture Formal Engineer at Arm
Three Rivers, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolRoman Manevich is an Architecture Formal Engineer with two decades of experience bridging academic research and production-grade verification across companies like Arm, Meta, Nvidia/Mellanox, and academia. He holds a Ph.D. in Computer Science from Tel Aviv University and has a strong publication and patent record in program analysis, static verification, and runtime checking. Roman has led verification and architecture-awareness efforts that improve security, performance, and reliability of complex systems-on-chip and large-scale platforms. His background as an assistant professor and multiple postdocs informs a methodical, research-driven approach to engineering practical tooling and scalable analyses. Colleagues know him for turning deep formal-methods expertise into pragmatic solutions that ship in hardware and software products. Based in Three Rivers, England, he combines academic rigor with hands-on implementation experience across industry and research labs.
10 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Tel Aviv University
Github Skills (6)
pddl7
planning6
lgpl5
synthesis4
java4
machine-learning3
Programming languages (1)
Github contributions (5)
rumster/program-extension-synthesis
Nov 2017 - Aug 2021
Combining machine learning and automated planning for program synthesis
Contributions:39 pushes, 1 branch in 3 years 9 months
automated-planningsynthesismachine-learningplanningprogram-synthesis
rumster/tvla
Jun 2016 - Jul 2017
Contributions:8 commits, 6 pushes, 4 branches in 1 year 1 month
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.