I am a second year Ph.D. student in Computer Science at Portland State University, Portland, Oregon with interests in high level synthesis and formal verification particularly theorem-proving.
I enjoy most programming environments.
I am currently working with Dr. Fei Xie   and Dr Sandip Ray .

Apart from research, I also enjoy reading books, reading and writing poetry, investing in stock markets, and have just found a new interest in website designing & learning astrology.


July 2012:The site is under construction.