Srihari Ganesh

I am a Member of Technical Staff at Axiom Math, where we work on AI for formal verification. I previously spent 4 years applying ML to protein modeling and design.

I am always open to chatting (particularly in the following scenarios), so please reach out:

• If you’re trying to figure something out (your life, your career, anything) and you think knowing or talking to me could be of use.
  • I’m no expert (outside of maybe Harvard undergraduate STEM course planning) but trying to help others is the best use of my time.
• If you are looking for teaching / tutoring / exposition in a subject I’m knowledgeable about.

Previous background (if you want more detail, check out my tmi page):

• 2024-2026: Machine Learning Scientist at Nabla Bio
  • Worked on de novo antibody design. Did partner projects, large-scale inference, model training, and data wrangling
• 2020-2024: Undergraduate student at Harvard University
  • Bachelor’s degree: joint concentration in Chemical and Physical Biology & Mathematics
  • Master’s degree: Statistics
  • Thesis: Symmetric Diffusion Models for Scalable Cyclic Protein Complex Backbone Generation
    • Advised by Dr. Jason Yim in Professor Regina Barzilay’s group at MIT CSAIL