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