Dr. Jayadev Misra
Dr. Jayadev Misra Member
Professor Schlumberger Centennial Chair Emeritus, The University of Texas at Austin
More Info
  • 2018
  • Computer Science & Engineering
More Info
  • 2018
  • Computer Science & Engineering
Election Citation
For contributions to the theory and practice of software verification of concurrent systems.