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 (39)
electron10
typescript10
dependency-graph10
dependency-analysis9
editor9
microsoft9
risk-analysis9
static-analysis9
visual-studio-code9
dot9
graphviz9
prose8
plugin8
javascript7
emscripten7
Programming languages (10)
Github contributions (5)
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
messagepack
sireum/v3-awas
Jan 2016 - May 2022
Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
Contributions:1 release, 182 commits, 147 pushes in 6 years 4 months
dependency-analysissireumhazard-analysis-frameworkinformation-flowdependency-graph
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.