I am a senior 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 am currently working with Dr. Fei Xie and Dr. Sandip Ray .

My research involves working with Lisp and ACL2 theorem prover . I enjoy most programming environments particularly Java and Python. Apart from research, I also enjoy reading books, reading and writing poetry, painting, cooking, investing in stock markets, and have just found a new interest in learning astrology.

You can find my CV here.