Saurabh Joshi

Saurabh Joshi

Director of Engineering and Innovations

Solution Architect, Problem Solver, Applied Researcher, and Educator

Research Interests

  • AI assisted Software Engineering
  • Security
  • Web3/Blockchain
  • Formal Verification
  • Static Program Analysis
  • Compilers
  • Constraint Programming

About

I operate at the intersection of computer science theory and production engineering. Rather than treating languages or tech stacks as identities, I treat them as tools: whether reasoning about distributed consensus, formal verification, or compiler optimizations, the core challenge is always correctness, invariants, and performance under stress. My approach combines the rigor of an applied researcher with the velocity and pragmatism of a startup builder—taking novel mathematical concepts from whiteboard design to mission-critical systems deployed across dozens of networks. Please see my full professional CV and academic CV for details.

Education

  • PhD in Computer Science and Engineering IIT Kanpur, 2012
  • MTech in Computer Science and Engineering IIT Bombay, 2006
  • BE in Information Technology Sardar Patel University, Vallabhvidyanagar, 2003

News

Experience

Projects

Supra AutoFi

Automated DeFi powered by Supra Native Automation

Blockchain Distributed Systems
Docs

Supra Native Automation

On-chain automation with Zero Block Delay guarantee

Blockchain Distributed Systems
Video Docs

DORA

Scaleable, transparent and efficient Distributed Oracle Agreement

Blockchain Distributed Systems
Blog Docs PDF

GPURepair

A tool for automated repair of CUDA and OpenCL kernels

Formal Verification Automated Program Repair
GitHub

LLOV

A static data-race checker for OpenMP programs.

Program Analysis
GitHub

OpenWBO

An open-source MaxSAT and Pseudo-Boolean solver

Constraint Programming
GitHub

Open-WBO-Inc

An open-source solver for incomplete MaxSAT

Constraint Programming
GitHub

Pinaka

A symbolic execution engine

Formal Verification
GitHub

Patents

Recent Posts

See all posts →

Recent Publications

LLOR: Automated Repair of OpenMP Programs

Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta

26th International Conference on Verification, Model Checking and Abstract Interpretation (2025)

DOI: 10.1007/978-3-031-82703-7_6

GPURepair: Automated Repair of GPU Kernels (Extended Version)

Saurabh Joshi, Gautam Muduganti

Sadhana - A Journal of Indian Academy of Sciences, Vol. 49 (2024)

DOI: 10.1007/s12046-023-02291-0

DORA: Distributed Agreement with Simple Majority

Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang

International Conference on Distributed Computing Systems 2023 (2023)

DOI: 10.1109/ICDCS57875.2023.00025

See full publication list →

Teaching

Undergraduate

  • Software Development Fundamentals (CS1023) (Mar 2021-Jun 2021)
  • Introduction to Programming (ID 1063) (Nov 2020-Feb 2021)
  • Principles of Programming Languages I (CS 2400) (Oct-Dec 2016, Oct-Dec 2017, Oct-Dec 2018, Oct-Dec 2019, May-Jul 2020)
  • Principles of Programming Languages II (CS 2433) (Jan-Apr 2017, Jan-Apr 2018, Jan-Apr 2019, Feb-Mar 2020)
  • Software Engineering (CS 4010) (Jan-Apr 2016 (at IIT Guwahati as CS 242 and CS 243), Jan-Apr 2017)

Postgraduate

  • Introduction to Blockchain Programming (CS 5533) (Mar-Apr 2026)
  • Constraint Solving/Constraint Programming (CS 6400, CS6403, CS6483) (Aug-Sep 2016, Aug-Oct 2017, Jan-Apr 2019, Jan-Apr 2020)
  • Software Verification (CS 6410) (Jan-Apr 2017, Jan-Apr 2018, Aug-Nov 2019)

Students

PhD

  • Gautam Muduganti (Jan 2017--Present)
  • Utpal Bora (Jan 2019--Oct 2022) Thesis: Techniques for Static Detection of Data-races in OpenMP Programs
    now a PostDoc at Cambridge University, UK.

Masters

  • Archit Sanghi (July 2020--July 2021)
    co-advised with Dr. Praveen Tammana, now at Salesforce, Bengaluru.
  • Akash Banerjee (July 2018--June 2021)
    now at AMD, UK.
  • Eti Chaudhary (July 2017--July 2020) Thesis: Verification of Programs
    now at Goldman Sachs, Bengaluru.
  • Aditya Kumar (May 2019--July 2020)
    co-advised with Dr. Ramakrishna Upadrasta, now at Oracle, India.
  • Sunil Sarode (May 2019--July 2020)
    co-advised with Dr. Ramakrishna Upadrasta, now at JP Morgan Chase, Mumbai
  • Uttaran Sinha (July 2017--July 2019) Thesis: Defending Neural Networks against Structural Perturbations
    now at AIQ, Abu Dhabi
  • Arpit Aggarwal (July 2017--July 2018) Thesis: GoProver: a bounded model-checker for GO
    co-advised with Dr. Subodh Sharma, now at Candor Health as Founding Engineer
  • Rasika Sapate (July 2016--July 2018) Thesis: LLVM2GOTO: A translator from LLVM IR to CPROVER IR
    now at Microsoft, Hyderabad

Undergraduates

  • Gitanjali Mannepalli (July 2018--Nov 2018)
    Mini Project - Proving program correctness using Coq, now at Microsoft, US.
  • Sukrut Rao (Research Internship)
    Improving MaxSAT Solving, now PhD candidate at Max Planck Institute, Germany
  • Prateek Kumar (Dec 2017--May 2019)
    Improving MaxSAT Solving, now at Astra Tech, Abu Dhabi
  • Nidhi Dhamnani (July 2017--Nov 2017)
    Research Internship - Optimizing SAT Solver for push/pop queries, now at Momento, US as a Software Engineer
  • B Shreya (July 2017--Nov 2017)
    Research Internship - Optimizing SAT Solver for push/pop queries, now at Amazon Web Services, US.