Chicago, IL 60607
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.
- 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