Sandeep Joshi

1021 S Racine Ave.
Chicago, IL 60607
United States


I am a CS grad student at University of Illinois at Chicago. I am mainly interested in Mobile App Development and Program Verification. I have recently worked on Augmented Reality, DevOps and NLP. Prior to grad school I woked at VMWare AirWatch in India. I have a bachelors in Electronics & Communication.

Research Interests

  • Formal Methods for Program Verification
  • Analysing patterns in software projects and apps

What I’m doing now

  • An iOS app to schedule meetings between people in different timezones
  • Working on Program Verification with Coq

Talks at Meetups

Recent posts