Biography

Picture of Theophilos Giannakopoulos

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

I am available for freelance work. I have experience in software development, compilers, formal methods, technical writing, and managing research teams. See my resume for more information.

My most recent work was as a consultant for the Cognitive Engineering Lab at Brown University, where I wrote an online textbook to help C++ programmers learn Rust.

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: theo [at] abstractnonsense.org.

Research Interests

My professional research interests include programming languages and formal methods.

My most recent research involved designing a system for making software 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 18 July 2025.