Bo Chen (Comp Sci/ICC) is Principal Investigator on a project that has received a $199,975 research and development grant from the National Science Foundation. The project is titled “EAGER: Enabling Secure Data Recovery for Mobile Devices Against Malicious Attacks.” This is a potential two-year project. Abstract: Mainstream mobile computing devices like smart phones and tablets . . .
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 . . .
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.
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 . . .