Probabilistic Programming

December 7, 2017 @ 7:00 pm – 9:00 pm America/New York Timezone
MIT - Stata Center, Building 32, Room 32-G449 (Kiva)

Computer and Geoscience & Remote Sensing Societies and GBC/ACM

MIT Room 32-G449 (Kiva)

Theo Giannakopoulos, BAE Systems

In this talk I will present a rapidly maturing approach to machine learning and data science called probabilistic programming. Probabilistic programming languages enable the use of machine learning by programmers and domain specialists without experience in the creation of specialized machine learning algorithms. However, the combination of probability and program semantics makes reasoning about probabilistic programs challenging, even for probabilistic programming language implementers. I will outline an approach to reasoning about probabilistic programs using techniques from traditional programming language theory.

Theo Giannakopoulos is a Principal Research Engineer at BAE Systems. He led the development of the Tempest programming language for BAE’s SAFE project on the DARPA CRASH program and was the Principal Investigator for BAE’s Open Probabilistic Programming Platform project for the DARPA PPAML program. Prior to joining BAE Systems, he developed secure back-office systems for financial and e-commerce companies. He received his Master’s degree in Computer Science at Worcester Polytechnic Institute (WPI) as part of the Applied Logic and Security group under the supervision of Prof. Daniel Dougherty, researching languages for the formal specification of security policies and policy combinators.

This joint meeting of the Boston Chapters of the IEEE Computer and GRSS Societies and GBC/ACM will be held in MIT Room 32-G449 (the Kiva conference room on the 4th floor of the Stata Center, buildng 32 on MIT maps) . You can see it on this map of the MIT campus.

Up-to-date information about this and other talks is available online at You can sign up to receive updated status information about this talk and informational emails about future talks at, our self-administered mailing list.