April 26
@
12:00 PM
–
1:00 PM
4610 Engineering Hall
Computing Using Time
Abstract
From tiny embedded devices to exotic supercomputing systems, the choice of data representation, and the accompanying model of logic, are of tremendous importance. Despite this, binary codes and Boolean logic remain ubiquitous. In this talk, Tzimpragos will question the status quo by unveiling a new role for time as that of a computational resource. To this end, he will first introduce a computational temporal logic that sets the foundation for temporal computing. Second, Tzimpragos will demonstrate how this foundation opens unique ways in which we can work with sensors and design machine learning systems. Third, he will describe how temporal operators provide answers to several long-lasting problems in pulse-based computing with emerging devices—specifically, superconducting. Finally, Tzimpragos will touch upon his group’s ongoing and future work with themes ranging from sensor processing to computing closer to physics and formally verifiable hardware.
George Tzimpragos
Bio
George Tzimpragos is an Assistant Professor in Electrical Engineering and Computer Science at the University of Michigan, where he leads the Physical Computation Laboratory. His research at the intersection of computer architecture, emerging technologies, and logic has been rewarded among others with an ASPLOS Best Paper Award, a CACM Research Highlight, two IEEE Micro Top Pick distinctions, and the joint 2023 ACM SIGARCH & IEEE CS TCCA Outstanding Dissertation Award for his contributions to temporal logic architectures.