MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Towards a Theory for Fault-Tolerant Hardware Design

Christoph Lenzen
MIT
Lecture
AG 1, AG 2, AG 3, AG 4, AG 5, RG1, SWS, MMCI  
AG Audience
English

Date, Time and Location

Tuesday, 29 October 2013
13:00
60 Minutes
E1 4
024
Saarbrücken

Abstract


abstract: 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.

Contact

Kurt Mehlhorn
--email hidden
passcode not visible
logged in users only

Kurt Mehlhorn, 10/22/2013 16:01
Kurt Mehlhorn, 10/22/2013 11:29 -- Created document.