Distinguished lecture series by Ed Clarke

Distinguished lecture series by Ed ClarkeProf. Edmund Clarke, the 2007 Turing award recipient, visited the Computer Science Department at the Technion and gave a series of 3 lectures. His lectures attracted faculty, students, and people from Industry. They described Clarke's achievements in making Model Checking into a central verification technique to hardware and software systems.

Photos

  • photo 1
  • photo 2
  • photo 3
  • photo 4
  • photo 5
  • photo 6
  • photo 7
  • photo 8
  • photo 9
  • photo 10
  • photo 11
  • photo 12
  • photo 13
  • photo 14
  • photo 15
  • photo 16
  • photo 17
  • photo 18
  • photo 19
  • photo 20
  • photo 21
  • photo 22
  • photo 23
  • photo 24
  • photo 25
  • photo 26
  • photo 27
  • photo 28
  • photo 29

Back to the news index Sunday, May 31, 2009