Summary
Hari Sowrirajan is a research engineer with nine years of experience at the intersection of math, computer science, and applied AI, currently building AI-for-formal-methods at Harmonic. He has blended academic rigor from Stanford (MS CS, BS Math with distinction) with industry impact at firms including Jump Trading and Ambient.ai, applying machine learning, computer vision, and probabilistic methods to finance, security, and healthcare problems. His background includes competitive research wins (2nd place, 2021 Alexa Prize) and hands-on production internships at Facebook and high-frequency trading, showing he moves models from prototype to real-world systems. Known for interdisciplinary problem-solving, he brings together stochastic modeling and practical engineering to tackle safety-critical and decision-focused applications.
8 years of coding experience
4 years of employment as a software developer
High School Diploma, High School Diploma at Cherry Creek High School
Stanford Online High School
Master of Science - MS Computer Science, Master of Science - MS Computer Science at Stanford University