Saurabh Joshi bio photo

Saurabh Joshi

Assistant Professor, Department of CSE, Academic Block C, Cabin:312/F, IIT Hyderabad, Kandi, Sangareddy, Telangana- 502285, India

Email Google Scholar Github Orcid

Teaching

Undergraduate

  • Principles of Programming Languages I (CS 2400) : Oct-Dec 2016, Oct-Dec 2017, Oct-Dec 2018
  • Principles of Programming Languages II (CS 2433) : Jan-Apr 2017, Jan-Apr 2018, Jan-Apr 2019
  • Software Engineering (CS 4010) : Jan-Apr 2016 (at IIT Guwahati as CS 242 and CS 243), Jan-Apr 2017

Postgraduate

  • Constraint Solving/Constraint Programming (CS 6400, CS6403, CS6483) : Aug-Sep 2016, Aug-Oct 2017, Jan-Apr 2019
  • Software Verification (CS 6410) : Jan-Apr 2017, Jan-Apr 2018, Aug-Nov 2019

Mentoring


PhD

  • Utpal Bora - PhD Candidate (co-supervised with Dr. Ramakrishna Upadrasta)
  • Gautam Muduganti - PhD Candidate - (Jan 2017–Present)

Masters

  • Aditya Kumar - MTech (co-advised with Dr. Ramakrishna Upadrasta) (May 2019–Present)
  • Sunil Sarode - MTech (co-advised with Dr. Ramakrishna Upadrasta) (May 2019–Present)
  • Akash Banerjee - MTech RA - (July 2018–Present)
  • Uttaran Sinha - MTech - (July 2017–July 2019)
  • Eti Chaudhary - MTech RA - (July 2017–Present)
  • Arpit Aggarwal - MTech (IIT Delhi, co-advised with Dr. Subodh Sharma) - GoProver: a bounded model-checker for GO - (July 2017–July 2018) - now at Oracle, Bangalore
  • Rasika Sapate - MTech - LLVM2GOTO: A translator from LLVM IR to CPROVER IR - (July 2016–July 2018) - now at Mentor Graphics, Hyderabad

Undergraduates

  • Gitanjali Mannepalli - BTech - Mini Project - Proving program correctness using Coq (July 2018–Nov 2018)
  • Sukrut Rao - BTech - Research Internship - Improving MaxSAT Solving - to join Max Planck Institute, Germany
  • Prateek Kumar - BTech - Improving MaxSAT Solving - (Dec 2017–May 2019) - now at AQR Capital Management, Bangalore
  • Nidhi Dhamnani - BTech - Research Internship - Optimizing SAT Solver for push/pop queries - (July 2017–Nov 2017) - now at Goldman Sachs, Bangalore
  • B Shreya - BTech - Research Internship - Optimizing SAT Solver for push/pop queries -(July 2017–Nov2017) - now as Software Development Engineer at Swiggy, Bangalore