Arvind Haran
Advisory Software Engineer at IBM
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolArvind Haran is an advisory software engineer with 13 years of systems-focused experience, leading pre-silicon memory coherence verification and coverage tooling for IBM POWER and Z processors from Austin. He combines deep expertise in computer architecture, formal and static analysis, and parallel/distributed systems with hands-on implementation in C++, C and Python to scale formal techniques for real-world verification challenges. At IBM he drives product planning, developer tooling and user engagement for next-generation formal applications, having previously built post-simulation coherence validators and revamped CI-driven development practices. His academic work on symbolic techniques for soft-error resilience and tools like KULFI and SMACK reflects a strong research-to-production trajectory across compilers, OS, databases and high-performance algorithms. A pragmatic systems engineer who once doubled forex messaging throughput during a Goldman Sachs internship, he brings both rigorous theoretical training and measurable performance wins. Expect a practitioner who blends formal methods with pragmatic engineering to shorten the path from verification research to deployable EDA tools.
13 years of coding experience
5 years of employment as a software developer
The University of UtahHigh School, Mathematics and Computer Science, 438/500, High School, Mathematics and Computer Science, 438/500 at Vidya Mandir Sr Sec School, ChennaiMiddle School, General, 992/1100, Middle School, General, 992/1100 at Lisieux Matric Higher Secondary SchoolMaster of Science (MSc), Theoretical Computer Science, 8.86/10, Master of Science (MSc), Theoretical Computer Science, 8.86/10 at PSG College of Technology
Hindi, Tamil, English, Spanish
Github Skills (8)
smack10
smt9
tla9
verification9
llvm7
tlaplus7
rust7
toolchain6
Programming languages (1)
Github contributions (3)
soarlab/KULFI
Mar 2013 - Mar 2013
Contributions:13 commits in 1 day
smackers/smack
Oct 2013 - Jul 2014
SMACK Software Verifier and Verification Toolchain
Contributions:12 commits in 8 months
smtrustverifiertlaverification-toolchain
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.