Hello there! I'm Tristan, a software developer with a background in web-based tool development, data visualization, scientific computing, and lightweight formal methods. This is my personal website where I keep track of the many of the things I enjoy working on, both for actual work and for fun.
In my current role as a senior software engineer at Stashpad, I work across the full stack on both mobile and desktop using a wide variety of modern web technologies.
Projects
Sterling
Sterling is a web-based visualizer for relational modeling languages. It provides interactive directed graph visualizations and a scripting environment that allows users to build custom visualizations using their favorite JavaScript libraries.
Read More
lihive.org
Lihive is a free and open-source place to play the hexagonal tile-based board game Hive online. In the game of Hive, players take turns moving their pieces around the hive in an attempt to surround the opponent's Queen Bee.
Read More
adcirc.io
adcirc.io is a web-based 2D/3D visualizer and mesh editing tool for the hurricane storm surge simulation software ADCIRC. It is primarily used to carve out small portions of triangulated finite element meshes, along with the required simulation data, to be used in the context of subdomain modeling.
Read More
SMT
SMT, or Subdomain Modeling Tool, is a 3D visualizer and mesh editing tool for the hurricane storm surge simulation software ADCIRC. It was the precursor to adcirc.io, and shares much of the same functionality.
Read More
Employment
Academics
Postdoctoral Researcher
Computer Science
Brown University
July 2020 - February 2022
PhD, Civil Engineering
Concentration: Computing and Systems
North Carolina State University
January 2014 - June 2020
MS, Civil Engineering
Concentration: Computing and Systems
North Carolina State University
December 2011 - December 2013
BS, Civil Engineering
Concentration: Structural Engineering
North Carolina State University
August 2007 - May 2011
Latest Publications
Applying Cognitive Principles to Model-Finding Output: The Positive Value of Negative Information
Tristan Dyer, Tim Nelson, Kathi Fisler, and Shriram Krishnamurthi
Proceedings of the ACM on Programming Languages
Sterling: A web-based visualizer for relational modeling languages
Tristan Dyer and John Baugh
Rigorous State Based Methods. ABZ 2021.
Bounded verification of sparse matrix computations
Tristan Dyer, Alper Altuntas, and John Baugh
Proceedings of the Third International Workshop on Software Correctness for HPC Applications, Correctness 2019.
State-based formal methods in scientific computation
John Baugh and Tristan Dyer
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018