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] alum.wpi.edu.
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.
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