Hariharan Thiagarajan
California, United States
Summary
🤩
Rockstar🎓
Top SchoolHariharan Thiagarajan is a software engineer with a decade of experience specializing in scalable static analysis tools for compiler optimization, program and model verification, and model synthesis. He combines deep academic training—a PhD and MS in Computer Science from Kansas State University and a B.Tech. in IT from Anna University—with practical engineering to turn formal methods into usable tooling. Based in California, he focuses on making verification and synthesis workflows performant and production-ready, bridging research and applied software. A detail that sets him apart is his emphasis on static analysis at scale, suggesting expertise in both algorithmic theory and engineering to handle large codebases or models.
10 years of coding experience
Anna University, ChennaiMaster of Science (MS), Computer Science, Master of Science (MS), Computer Science at Kansas State University
Tamil, Hindi
Github Skills (58)
electron10
microsoft10
typescript10
vscode-extension10
editor10
dot10
vscode10
visual-studio-code9
visual-studio9
graphviz9
kebab-case8
plugin8
autosar8
cert8
javascript7
Programming languages (10)
Github contributions (5)
sireum/v3-awas
Jan 2016 - May 2022
Contributions:1 release, 182 commits, 147 pushes in 6 years 4 months
sireum/air
Jan 2018 - Dec 2020
AIR: AADL Intermediate Representation (IR) in Slang, JSON, and MessagePack
Contributions:34 commits, 2 PRs, 22 pushes in 2 years 11 months
representationkebab-caseunicornsserializationmessagepack
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.