Jyotirmoy V. Deshmukh



PhD candidate, Dept. of ECE,
University of Texas at Austin

E-mail           : jyotirmoy @ cerc [utexas.edu]
Location         : 6SE01E, ACES.
Phone            : 512-475-6864 (O)
Interests        : Formal Verification of Software Systems,
                   Data Structure Verification, Automata
                   Theory, Model Checking using Temporal
                   Logic, Distributed Systems.
Publications     : Link  
Curriculum Vitae : Link
PhD Advisor      : Dr.E.Allen Emerson
Currently        : Chipping away at my Ph.D., in Austin.
Conferences      : Link

Non-core         : Link