Distinguished Lecture Series: 2012-2013

 

Advances in Automated Theorem proving:
Symbolic Automata, Nonlinear Arithmetic over
the Reals, and Fixpoint Calculation

Thomas Ball

Microsoft Research, Redmond, Washington

 

Challenges and Opportunities Posed by Impending
Close Encounters with Asteroid Apophis

John Junkins

Texas A & M University, College Station, Texas

 

Games, Privacy and Distributed Algorithms
for the Smart Grid

H. Vincent Poor

Princeton University, New Jersey

 

Measuring Patient-Specific Colorectal Cancer
Parameters and the Cancer Stem Cell Fraction
from Single Molecule Data

Simon Tavaré

University of Cambridge, United Kingdom