About Me

I am Ashwin Kumar from Chennai doing my Master's degree (thesis) in Computer Science track at the University of Utah(2010(fall) - present)School of Computing.

I currently work with the Gauss formal verification group under professor Ganesh

I am interested in theory,logic and parallel computing.

I am working towards the completion of Master's degree. I am also looking into weak memory models in concurrent systems in an effort to understand how a hypothetical memory model for GPUs would look like.