Towards a Theory for Fault-Tolerant Hardware Design
Event details
| Date | 22.01.2014 |
| Hour | 10:00 |
| Speaker |
Dr. Christoph Lenzen, MIT Bio: hristoph Lenzen performed his graduate studies in the group of Roger Wattenhofer at ETH Zurich. His thesis was awarded the ETH medal. In 2011 and 2012, he had positions at the Hebrew University of Jerusalem and the Weizmann Institute of Science, respectively; his advisors were Danny Dolev and David Peleg. Since 2013, he is a postdoctoral fellow at MIT, in the group of Nancy Lynch. |
| Location | |
| Category | Conferences - Seminars |
In this talk, I will present a promising approach to leveraging techniques typically associated with theoretical computer science for the design of fault-tolerant hardware. I will discuss how to adapt and extend approaches to fault-tolerance known from the area of distributed computing to this setting. 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: ultimately, it enables to prove correctness, robustness, and efficiency of fully-flegded systems from bottom to top, starting at the gate level.
Practical information
- General public
- Free
Organizer
- Prof. Yusuf Leblebici
Contact
- Prof. Yusuf Leblebici