Matthias works on Python static analysis at Google. He's the author of pytype, a Python type inference system. He's also one of the maintainers of typeshed, a shared library for Python static analysis, and a contributor to mypy, a Python type checker. He also wrote a machine learning system for Python ("mrscake"), as well as a sandbox ("cagekeeper") and an assembly library ("pynasm"). He maintains the site fruitbots.org, which is used to teach programming (in Python and other languages) to highschool students. He has a Ph.D. in computer science, obtained at the Technical University of Munich, in 2008.
Tuesday 11:30 a.m.–noon in Portland Ballroom 254–255