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 . . .
It was August 15, 2003. A software bug invoked a blackout spanning the Northeast, Midwest, and parts of Canada. Subways shut down. Hospital patients suffered in stifling heat. And police evacuated people trapped in elevators. What should have been a manageable, local blackout cascaded into widespread distress on the electric grid. A lack of alarm . . .
Congratulations Ali on receiving the nomination of University’s 2016 Distinguished Teaching Award! According to the University’s Center for Teaching and Learning, Ali has been chosen as one of the five finalists from among all Michigan Tech teaching faculty. Selection as a finalist automatically enrolls Ali as a member of the Michigan Tech Academy of Teaching Excellence. . . .
Michigan Tech is home to a supercomputer known as “Superior” and this computer is used for a variety of projects by research faculty right here in the Department of Computer Science: Laura Brown, Towards a reliable method for comparing large scale machine learning algorithms Ali Ebnenasir, Computational synthesis of self-stabilizing protocols Chaoli Wang, High-performance parallel . . .