Roopsha Samanta

Me, right now...

PhD Student

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

Earlier...

M.S., Electrical Engineering, The University of Texas at Austin, 2003
B.E., Electronics Engineering, Mumbai University, 2002

Click on each for some laughs.

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.

Here is a token photo of myself.

Here is a list of links that I find useful.

And finally, here is a (pretty long) list of my other interests. Read at leisure.

I do not think I have anything else to say about myself. I do have some opinions about the world, but that's another story for another day...

Last modified on 11 July, 2007.