NSF CRII award to support the Cage Project: using algorithmic game theory to build distributed systems with verified complexity by design
Invited seminar at UToledo EECS: Verified Learning Without Regret: A Mechanized Proof of the Multiplicative Weights Update Algorithm
New draft paper: Certified Convergent Perceptron Learning together with students Charlie Murphy (ugrad, Princeton grad) and Patrick Gray (grad)
Funded collaborative research grant on "Intelligent Channel Sensing"
New website: Programming Languages and Systems at OU
I'm serving on the PLDI'16 External Review Committee.