Biography

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

Research Interests

My professional research interests include programming languages and formal methods.

My most recent work has been on designing a system for making artifacts from safety-crticial systems and the results of static analyses of those artifacts available to query, along with designing language for writing those queries.

Resume

My resume was last updated on 1 October 2024.