#ComputerScientist PhD student working on specialised #ConstraintSolvers for #ProgramAnalysis, including the #Polonius ownership constraint solver for the #Rust compiler.
Previously at @mnda, and @amanda, and former host of tut.amanda.systems.
Parenting handle: @[email protected]. Book reviews at @amanda.