Trevor Hansen

This is my personal website. I develop software in Melbourne, Australia.

I own Total Metrics, which provides software and consulting to objectively estimate, manage and benchmark software development.
I contribute to STP, an open-source solver for bit-vector and array problems. It is used by software verification and test generation tools, and has placed first in its division of the annual SMT-COMP several times.
I operate Deep Almanac, which publishes public reference data as plain JSON that people and AI agents can query and cite. Every record carries its source and date, and nothing needs a sign-up.

My hobbies are kettlebell sport and running.

My PhD thesis, A Constraint Solver and its Application to Machine Code Test Generation, is downloadable. It was submitted to the University of Melbourne in 2012.