Theophilos Giannakopoulos



I am a computer scientist, software engineer, and mathematician.

I currently work for a government contractor, doing research projects. My day-to-day work involves writing proofs, writing code, and managing a team of researchers. See my resume for more information.

I am an alumnus of Worcester Polytechnic Institute's Applied Logic and Security (ALAS) lab, where I was advised by Dan Dougherty.

You can find some of my personal projects on GitHub.

My preferred method of contact is via email: tgiannak [at]


My professional research interests include programming languages and formal verification. I am also interested in constructive mathematics and the machine-checkable formalization of the foundations of mathematics.

I am currently working on semantics for probabilistic programming languages and on tools for creating self-adapting software.


My resume was last updated on 16 January 2018.


Conferences and Workshops

Finite-depth higher-order abstract syntax trees for reasoning about probabilistic programs
Theophilos Giannakopoulos, Mitchell Wand, and Andrew Cobb
Probabilistic Programming Semantics Workshop, 2016
Towards an operational semantics for Alloy
Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi
Formal Methods, 2009

WPI Projects and Theses

Multi-Decision Policy and Policy Combinator Specifications
Master's Thesis
Towards a Transition System Semantics for Alloy
Major Qualifying Project
Making the Link: Entrepreneurship in Costa Rica
Interactive Qualifying Project
Glider Join the Blue Ribbon Online Free Speech Campaign