Sandeep Joshi
Chicago, IL 60607
United States
Email: sjoshi37@uic.edu
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
- What is Gradual Typing? - at NSCoder on 11/27/18
- ARUI Library Demo - at NSCoder on Feb 2018