Harsh Chamarthi
MTS at Rivos Inc.
Greater Bengaluru Area India
Summary
👤
Senior🎓
Top SchoolHarsh Chamarthi is a senior formal verification specialist with 14 years of experience applying formal methods, interactive theorem proving (ACL2), SAT/SMT, and mathematical logic to hardware and software verification. He has held research and engineering roles at Rivos, Amazon, Intel, GE Global Research and Northeastern University, blending academic rigor from a Ph.D. with hands-on verification work in SystemVerilog, Common Lisp, Tcl and C. Known for tackling deep correctness problems, he moves between theorem proving and practical verification flows to deliver auditable, machine-checkable proofs for complex processors and systems. Based in Bengaluru, he pairs industry-scale verification engineering with a research mindset, often bridging gaps between proofs and production verification environments. An uncommon strength is his sustained use of ACL2 and logic-based approaches within mainstream semiconductor verification teams, bringing formal assurance where many rely solely on simulation.
14 years of coding experience
18 years of employment as a software developer
Indian Institute of Technology KanpurDoctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Northeastern University
Github Skills (14)
sat-solver10
first-order-logic10
theorem-proving10
proof-assistant10
formal-verification10
formal-methods10
coq10
rewriting10
common-lisp10
logic10
test-framework1
unit-test1
quickcheck1
lisp1
Programming languages (1)
Github contributions (5)
harshrc/acl2
Jan 2015 - Jul 2018
ACL2 System and Books as Maintained by the Community
Contributions:1 PR, 62 pushes, 1 comment in 3 years 6 months
opensshacl2implantstunnel
harshrc/emacs.d
Apr 2019 - Apr 2019
An Emacs configuration bundle with batteries included
Contributions:5 pushes in 4 days
batteries-includedbundlebatteriesemacs-configurationspacemacs
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.