Στα πλαίσια της σειράς εκδηλώσεων του Τμήματος Μηχανικών Η/Υ και Πληροφορικής “Σεμινάριο CEID & Social Hour” και των ΔΠΜΣ ΥΔΑ και ΣΜΗΝ και ΟΣΥΛ, διοργανώτεται ομιλία:
Τίτλος: “Building Time Machines”,
Ομιλητής: Γιώργος Τζιμπράγος, Assistant Professor, EE&CS, University of Michigan
Ημερομηνία-χώρος: Παρασκευή 26 Μαΐου, 3-5μμ, ΤΜΗΥΠ, αμφιθέατρο Γ
Περίληψη: 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, we will question the status quo by unveiling a new role for time as that of a computational resource. To this end, I will firstly introduce a computational temporal logic that sets the foundation for temporal computing. Secondly, I will demonstrate how this foundation opens up unique ways in which we can work with sensors and design machine learning systems. Thirdly, I will describe how temporal operators provide answers to several long-lasting problems in pulse-based computing with emerging devices—specifically, superconducting. Finally, I will touch upon my group’s ongoing and future work with themes ranging from in-sensor processing to hybrid quantum-classical computing and formally verifiable hardware.
Σχετικά με τον ομιλητή: George Tzimpragos is an Assistant Professor of Computer Science at the University of Michigan, Ann Arbor, USA. Before joining the University of Michigan in 2022, Tzimpragos received a B.S. degree in electrical and computer engineering from the National Technical University of Athens, Greece, in 2012; a M.S. degree in electrical and computer engineering from the University of California, Davis, USA, in 2016; and a Ph.D. degree in computer science from the University of California, Santa Barbara, USA, in 2022. His research at the intersection of computer architecture, emerging technologies, and logic has been rewarded with an ASPLOS best paper award, a CACM research highlight, an IEEE Micro top pick, an IEEE Micro top pick honorable mention, and a best student paper runner-up at ASC.
Ευχαριστούμε και τη Citrix για την ευγενική χορηγία της για το «Σεμινάριο CEID & Social Hour».
______________
Με εκτίμηση, Χρήστος Κακλαμάνης,
Καθηγητής και Πρόεδρος ΤΜΗΥΠ