Saurabh Joshi bio photo

Saurabh Joshi

Assistant Professor, Department of CSE, B-514, IIT Hyderabad, Kandi, Sangareddy, Telangana- 502285, India

Email Google Scholar LinkedIn Github Orcid


Services to the research/academic community

  • Associate Editor, Sadhana, a journal of Indian Academy of Sciences (2018–Present)
  • Member, Project Review and Steering group for a project funded by MeiTy
  • Organizer, Workshop on Program Analysis : Theory and Practice, at CDAC, Hyderabad
  • Organizer, Fourth Indian SAT+SMT School
  • Organizer, Formal Methods Update Meeting 2019
  • PC/AEC Member, CAV 2019
  • PC Member, PhD Symposium, ISEC 2019
  • Organizer, Third Indian SAT+SMT School
  • PC/AEC Member, CAV 2018
  • PC Member, IDRBT Doctoral Colloquium 2017
  • PC Member, ACM Compute 2017
  • PC Member, ICEGOV 2017

Services to IIT Hyderabad

  • Faculty-in-Charge, Server Management (Cyber security, Email/ DNS/ Authentication/ Web services, Virtualization etc.) (Nov 2019–Present)
  • Institute Website redesign team
  • Supervising the design and development of IITH Timetabler
  • Supervising automation of R&D procurement portal
  • Supervision of issue tracking system for Computer Center
  • Supervision of Private Linux Mirror at IIT Hyderabad
  • Supervision of commissioning of Discourse (discussion forum)

Services to CSE, IIT Hyderabad

  • Member, Faculty Search committee
  • Member, Teaching Assistants allocation committee
  • Member, PhD Admissions committee
  • Former Member, Department Post Graduate Committee