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
  • Software Engineering (CS 4010) : Jan-Apr 2016 (at IIT Guwahati as CS 242 and CS 243), Jan-Apr 2017

Postgraduate

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

Mentoring


PhD

  • Gautam Muduganti - PhD Candidate - (Jan 2017–Present)

Masters

  • Akash Banerjee - MTech RA - (July 24018–Present)
  • Uttaran Sinha - MTech - (July 2017–Present)
  • 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
  • Sukrut Rao - BTech - Research Internship - Improving MaxSAT Solving
  • Prateek Kumar - BTech - Improving MaxSAT Solving
  • Nidhi Dhamnani - BTech - Research Internship - Optimizing SAT Solver for push/pop queries - (July 2017–Nov 2017)
  • B Shreya - BTech - Research Internship - Optimizing SAT Solver for push/pop queries -(July 2017–Nov2017)