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