Atharva Sehgal

Postdoctoral Researcher at Caltech

Pasadena, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Atharva Sehgal is a PhD student in Computer Science at UT Austin and an incoming postdoctoral researcher at Caltech, specializing in code generation algorithms that accelerate automated and collaborative scientific discovery. With nine years of experience spanning research assistantships and teaching roles at UIUC and UT Austin, he blends deep theoretical work with practical code-driven experimentation. He has worked closely with Swarat Chaudhuri and will collaborate with Yisong Yue, signaling a focus on probabilistic and program synthesis approaches to scientific inference. Beyond publishing and mentoring, Atharva’s trajectory reflects an uncommon commitment to translating automated code synthesis into tools that help scientists discover new facts, not just proofs.
code10 years of coding experience
job7 years of employment as a software developer
bookDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of Texas at Austin
bookBachelor of Science, Computer Science, Bachelor of Science, Computer Science at University of Illinois Urbana-Champaign
github-logo-circle

Github Skills (36)

genetic-algorithm10
evolutionary-algorithms10
symbolic-regression10
computer-vision10
julia10
data-science9
symbolic-computation9
machine-learning9
distributed-systems9
discrimination9
neuro-symbolic9
automl9
python6
ai5
deep-learning5

Programming languages (5)

JuliaRustSMTJupyter NotebookPython

Github contributions (5)

github-logo-circle
Library augmented Symbolic Regression in Julia
Contributions:2 releases, 60 PRs, 118 pushes in 1 year 1 month
juliasymbolic-regression
atharvas/atharvas.github.io

Jul 2019 - Jul 2026

Contributions:74 pushes, 2 branches in 7 years 1 month
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.
Request Free Trial