Congratulations to Ali Ebnenasir and Alex Klinkhamer on their recently published article, “Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings,” which was accepted for publication in ACM Transactions on Computational Logic.
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 . . .