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

Recent posts

• iOS Dev reference - Blur & Vibrancy
• Lets build a command line app in Swift
• Let’s build a water molecule in AR