An article co-authored by Ali Ebnenasir (SAS/CS) and Alex Klinkhamer, “Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings,” was recently published in ACM Transactions on Computational Logic. Abstract: This article investigates the verification of livelock-freedom and self-stabilization on parameterized rings consisting of symmetric, constant space, deterministic, and self-disabling processes. The results of this article have a significant impact . . .
By Karen S. Johnson, ICC Communications Director We live in a world where pretty much everything and everybody – individuals, companies, governments, critical infrastructure – are increasingly dependent on connected systems, networks and devices. And, as newspaper headlines reveal, those systems may be insecure and vulnerable to hackers. “Nowadays, everybody is using computers, and more . . .
Tech Today announced that Soner Onder (CS) is giving an invited talk titled “Program semantics meets architecture: What if we did not have branches?” at a workshop organized in honor of the 80th birthday of Yale Patt of University of Texas, Austin. Patt is a very prominent researcher with decades of accomplishments in Computer Architecture. The . . .
Congratulations to Keith Vertanen and Bo Chen for their excellent teaching in Spring 2019. They are among only 92 instructors who received an exceptional “Average of 7 Dimensions” student evaluation score during Spring semester 2019. Their scores are in the top 10% similarly sized sections. Keep up the good work!
by Karen Johnson, ICC Communications Director What if an everyday surface, like a table, could be transformed into a rich, interactive surface that can remotely operate things like computers, entertainment systems, and home appliances? That’s what Michigan Tech Institute of Computing and Cybersystems (ICC) researchers Keith Vertanen (CS) and Scott Kuhl (CS) set out to . . .
At the annual awards banquet of the Michigan Tech Institute of Computing and Cybersysytems (ICC), on Friday, April 12, three ICC members received the ICC Achievement Award in recognition of their exceptional contributions to research and learning in the fields of computing. Soner Önder, director of the ICC Center for Scalable Architectures and Systems and . . .