Roopsha Samanta Me, right now... PhD Candidate Department of Electrical and Computer Engineering The University of Texas at Austin Advisor: Prof. E. Allen Emerson Co-advisor: Prof. Vijay K. Garg Research Area: Formal Methods Mail: The University of Texas at Austin          Computer Engineering Research Center          1 University Station C8800          Austin, TX 78712-0323 Email: firstname@cs.utexas.edu (firstname := Roopsha) Meet me: ACES 6SEo1F Earlier... M.S., Electrical Engineering, The University of Texas at Austin B.E., Electronics Engineering, Mumbai University

My Research...

My research interests lie in the application of formal methods like automata theory, abstract interpretation, model-checking and static analyses to the specification, verification, repair and synthesis of software systems. My current research focuses on the automatic repair and synthesis of programs.

While I work at increasing my count of papers in formal methods, you are most welcome to look at my publications in some current and many not-so-current research topics.

Here is a list of my other interests.