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.
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 methods.
I am currently working on algorithms for determining the root causes for the failure of Prolog queries and of linear temporal logic properties in communicating synchronous state machines, as part of a counterexample-driven approach for synthesizing secure configurations using models of systems.