Jyotirmoy V. Deshmukh


        Ph.D. candidate, Dept. of ECE,
       Computer Eng. Research Centre,
       University of Texas at Austin.

E-mail           : jyotirmoy -at- cerc.utexas.edu
Location         : 6SE01E, ACES.
Phone            : 1-512-475-6864 (O)
PhD Advisor      : E. Allen Emerson
Interests        : Use of Automata and Logics for
                   Verification of Sequential and
                   Concurrent Programs, Verifying
                   Properties of Data Structures,
                   Static Analysis, and Automatic
                   Program Synthesis and Repair.
Publications     : Link  
Curriculum Vitae : Link
Conferences List : Link