Tyler Hou is an undergraduate in mathematics and computer science at the University of California, Berkeley. His research applies algebra and logic to develop more sophisticated reasoning systems for programming languages and distributed systems. He will begin doctoral studies at Princeton University in fall 2026.
At Berkeley, Hou has worked toward developing frameworks and tools to help computer scientists better specify, reason about and optimize distributed systems. During a summer research fellowship, he developed a mathematical formalism to specify and reason about distributed stream programs using monoids and monoid homomorphisms. To create better program optimizers, he developed semantics to extend Datalog, a logic programming language, to support contextual reasoning.
Hou grew up in New England and attended Phillips Exeter Academy, where he discovered a love for poetry and choral music. Between high school and college, he worked on the search performance team at Google. He was a teaching assistant and volunteer at JamCoders, a free summer camp that teaches Jamaican high schoolers computer science. He runs and sings tenor in Berkeley’s Chamber Chorus.
