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.