Day: July 25, 2019

Welcome and Invite to Reunion Celebration on Friday, August 2

Dear Alumni, Colleagues and Friends, Welcome to Michigan Tech’s new College of Computing! By now you’ve received the latest Michigan Tech magazine and have read the announcement of Michigan Tech’s newest college. This is an exciting time at Michigan Tech as we reimagine existing programs, add new majors, and pursue innovative new initiatives to prepare . . .

Ali Ebnenasir is Co-Author of Publication in ACM Transactions on Computational Logic

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 . . .