This is Computer Science Education Week, and computer science students and faculty from Michigan Tech are bringing the thrill of computer coding to Houghton High School every day. It’s part of a worldwide initiative called Hour of Code, designed to interest young people in computer coding. Associate Professor Charles Wallace and Lecturer Leo Ureel, along with three . . .
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 . . .
Assistant Professor of Computer Science Dr. Laura Brown’s research is centered broadly on the application and design of methods in artificial intelligence and machine learning. This work spans from the theoretical design of algorithms for feature selection and learning Bayesian networks, to the application of methods across domains including clinical healthcare, biomedicine, power distribution networks, . . .
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 . . .