Roopsha SamantaMe, right now...PhD Candidate
Department of Electrical and Computer
Engineering
Advisor: Prof. E. Allen
Emerson
Mail: The University of Texas at Austin
Earlier...M.S., Electrical Engineering, The University of Texas at AustinB.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.
Last modified on 25 June, 2012