Recent Taught or Supervised Courses -
CMACS Seminar on Real Algebra and Hybrid Systems (joint with André Platzer), Autumn 2012, Logical Systems Lab,
Carnegie Mellon University,
Pittsburgh, USA.
- Decision Methods over Real and
Algebraically
Closed Fields, Lent (Spring) 2012, Department of Pure Mathematics and Mathematical Statistics, Cambridge.
- Supervision for Glynn Winskell's Discrete Mathematics, Lent (Spring) 2012, Computer Laboratory, Cambridge.
. .
: ::.
: ::::.
{Expository notes}
Sums of Squares Positivstellensatzen Methods Explained: Part I
Understanding Algebro-Geometric Quantifier
Elimination: Part I, Algebraically Closed Fields of
Characteristic Zero via Muchnik
|