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.
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.