Biography
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.