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 . . .
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.
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!
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 . . .
The Graduate Student Government (GSG) hosted the 11th Annual Graduate Research Colloquium March 27 and 28, to celebrate the hard work and outstanding achievements of our graduate students. The event has grown from a one-session event with a handful of participants into a two-day event with a record 85 participants, representing 17 academic schools and . . .
Congratulations to Robert Pastel for his new grant of $116,561 as a part of a collaborative NSF project, titled “Collaborative Research: MSB-FRA: Scaling Climate, Connectivity and Communities in Streams project”. This is a $1.4 million grant that involves Oklahoma University, University of Arizona, University Louisiana at Lafayette, Virginia Tech, Northern Arizona University, University of California at Berkeley, and . . .