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@ece.utexas.edu (firstname := Roopsha)
Meet me: ACES 6SEo1F
Now that we have all the formalisms out of the way, I am going to be very laid back in the rest of this space. I will mostly ramble.
Let me begin with 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 my current research area, you are most welcome to look at my prior publications.
Last modified on 11 July, 2007.