BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Towards a Theory for Fault-Tolerant Hardware Design
DTSTART:20140122T100000
DTSTAMP:20260926T151711Z
UID:546689db10d827c71ce0fe039ac948207013d5845980c75886478979
CATEGORIES:Conferences - Seminars
DESCRIPTION:Dr. Christoph Lenzen\, MIT\nBio: hristoph Lenzen performed hi
 s graduate studies in the group of Roger Wattenhofer at ETH Zurich. His th
 esis was awarded the ETH medal. In 2011 and 2012\, he had positions at the
  Hebrew University of Jerusalem and the Weizmann Institute of Science\, re
 spectively\; his advisors were Danny Dolev and David Peleg. Since 2013\, h
 e is a postdoctoral fellow at MIT\, in the group of Nancy Lynch.\nIn this 
 talk\, I will present a promising approach to leveraging techniques typica
 lly associated with theoretical computer science for the design of fault-t
 olerant hardware. I will discuss how to adapt and extend approaches  to f
 ault-tolerance known from the area of distributed computing to this settin
 g. Moreover\, I will introduce a novel framework that facilitates seamless
  integration of individual components (and corresponding formal statements
 ) into larger circuits. Our framework is designed to bridge scales: ultima
 tely\, it enables to prove correctness\, robustness\, and efficiency of fu
 lly-flegded systems from bottom to top\, starting at the gate level.
LOCATION:ME B1 B10 http://plan.epfl.ch/?room=ME%20B1%20B10
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR