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 . . .
The Michigan Tech College of Computing offers a full range of undergraduate and graduate degrees in the Computing disciplines.
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.
Fulbright Ambassador, Dr. Charles Wallace (CS), will offer a workshop and discuss his experience as a Fulbright Scholar. This presentation will be held Monday, November 17th at 6:00 pm in Fisher 131 as part of International Education Week.
Professor Ching-Kuang Shene (CS) has received $53,396 from NSF through the University of Notre Dame for the first year of a potential two-year research and development project totaling $67, 216, “CGV: Small:Graph-Based Techniques for Visual Analytics of Big Scientific Data.”