Moshe Vardi’s 4 Contacts

• 
  Dr. Susanta Mitra

  Discipline: 

  Computer and Information Science
• 
  Laks Lakshmanan V.S.

  Discipline: 

  Database Systems, 

  Computer and Information Science
• 
  Nick Feamster, Ph.D.

  Assistant Professor, Georgia Instititue of Technology

  Atlanta, Georgia, United States

  Discipline: 

  Computer Security, 

  Computer and Information Science

  Interests: 

  Communications Networks Network Security
• 
  Professor Pierre-Yves Schobbens

  Professor, FUNDP, University of Namur

  Namur, Belgium

  Discipline: 

  Real-Time Systems, 

  Computer and Information Science

  Interests: 

  Temporal logic, model checking, real-time, agent logics, software specification, software verification, formal methods, program semantics,