Computer Science Professor Nilufer Onder was ranked in the top 10% across all university classes for student evaluation scores. Onder’s ranking for Fall 2014 was based among other classes with a similar size of 50 students. She taught CS3311, Formal Methods of Computing, last semester and earned a score of 4.85 on the Question of . . .
The Michigan Tech College of Computing offers a full range of undergraduate and graduate degrees in the Computing disciplines.
Dr. Min Song gave the keynote talk at IEEE GlobalSIP 2014 on December 5. The talk is titled “A Transparent Spectrum Co-Access Protocol for Primary and Secondary Users.” In this talk, Dr. Song introduced a novel wireless network protocol, termed spectrum co-access protocol (SCAP), for secondary users to transparently and simultaneously access the spectrum with . . .
Title: A Tutorial on Theorem Proving in the Prototype Verification System (PVS) Abstract: This tutorial will be offered for faculty members and graduate students whose research involves any sort of logical reasoning that can be expressed in predicate logic. The Prototype Verification System (PVS) is one of the premier theorem provers developed at the Stanford . . .
PI Charles Wallace and Co-PIs Leo Ureel and Shreya Kumar (CS), “Agile Communicators: Preparing Students for Communication-Intensive Software Development Through Inquiry, Critique and Reflection,” NSF PI Ali Ebenasir (CS), “Colloborative Research: Breakthrough: Integrating Fault-Tolerance and Tamper Evidence for Cyber-Physical Systems,” NSF From Tech Today
Dr. Min Song, new chair of the Department of Computer Science and former program director at NSF, will hold a research seminar on Monday, November 24th from 11:00am – Noon in 101 Rekhi. The talk will first explore the critical elements that could strengthen a research proposal and then illustrate a list of typical mistakes . . .
Abhilash Kantmaneni, a CS PhD Candidate, was featured in a CleanTechnica article which was also originally published in CostofSolar.