I'm a second year masters student at the School of Computing at the University of Utah. I work under professor Matthew Might, doing static analysis of higher order functional programs.

My current interests include functional languages, compilers and static analysis needed to enable optimizations of programs.

I did my Bachelors of Engineering at R.V College of Engineering, in Bangalore, India.

Prior to studying at Utah, I worked for 2 years on IBM Websphere MQ in India.

Profile on linkedin

shreyass123 At gmail Dot com