Skip to main content
Department of Information Technology



The aim of this workshop is to bring together researchers working within the area of verification. The presentations are given by talented researcher from different parts of the word.

Preliminary schedule
About the Speakers

is a member of the Computing and Software Principles research department at Bell Labs. He holds Ph.D. and M.S. degrees from the University of Texas at Austin, and a B.Tech degree from IIT Madras, all in Computing Sciences. His research interests span many aspects of program analysis and verification.

is an associate professor at Brno University of Technology. He is working in the department of Intelligent Systems and his research is focused on computer-aided formal analysis and verification.

is a professor at the University of Paris 7. He is a member in the Modeling and Verification team, evolving within the LIAFA laboratory. His research is closely related to ours and he has been collaborating with our group on many occasions.

Updated  2008-04-16 09:49:07 by Noomene Ben Henda.