Category: Awards and Honors

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

Two new grants in one month, way to go, Robert!

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