INFORMS APS 2017; MAMA 2017. Presentation on solving a scheduling problem where jobs consist of multiple tasks, each of unknown size.
CMU CS theory lunch, February 2017. An introduction the Gittins Index in the context of scheduling jobs in single-server queueing systems to minimize mean response time.
POPL 2017. Presentation on a compiler optimization that automatically adds caching and sound cache invalidation to web applications.
MIT 18.504 (Seminar in Logic), February 2015. An explanation of recursion theorem by relating it to the Y combinator from -calculus.
SIGBOVIK 2017. Applying serious math to a less serious problem. See the paper for more content and the SIBOVIK website for more context.
[slides] [video] [paper]