People

From UclidWiki

UCLID is a joint CMU - UC Berkeley project, based on research conducted by professors Randal Bryant and Sanjit Seshia and their students.

• Faculty
  • Randal E. Bryant (CMU)
  • Sanjit A. Seshia (UC Berkeley)
• Students
  • Bryan A. Brady (UC Berkeley)
  • Susmit K. Jha (UC Berkeley)
  • Rhishikesh Limaye (UC Berkeley)
  • Hormoz Zarnani (CMU)
• Alumni
  • Shuvendu K. Lahiri (Microsoft Research)