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 . . .
The Michigan Tech College of Computing offers a full range of undergraduate and graduate degrees in the Computing disciplines.
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 . . .
During the week of February 28, 2017, two Googlers, Eric Dalquist, who received his BS in Computer Science from Michigan Tech in 2004, and Kurt Dresner, visited the Computer Science Department. They met with graduate students, faculty and staff and hosted a tech talk on campus for students who wanted to learn more about Google . . .
Associate Professor, Dr. Nilufer Onder has been identified as one of only 91 instructors on campus who received an exceptional “Average of 7 dimensions” from student evaluations this fall. Students in Nilufer’s classes felt she deserved a 4.95 (out of 5.0) on the question, ‘Taking everything into account, I consider this instructor to be an . . .
Canvas courses taught by Dr. Laura Brown and Leo Ureel (CS) were selected as two of the eight spring 2015 CTL Creative Canvas Course Contest (C-4) winners. Their Canvas courses were recognized as effective by both students and the Center for Teaching and Learning (CTL). Both instructors will have the opportunity to record a “video . . .
Women in Computing Sciences (WiCS) and the Husky Game Development Enterprise (HGD) are excited to announce the results of the 8th annual BonzAI Brawl programming contest on Saturday April 11, 2015. Both groups put in hundreds of hours to develop the game and make the Brawl a success. More information about the event is available . . .