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