About Adam Brouwers-Harries

Performance engineer working with Rust. Previously working on Firefox at Mozilla. Interested in type theory, dependent types, theorem proving, and making code fast and correct.
Also doing saxophone things with the Castle Rock Jazz Band.

Lists

Timeline

aabh has no activity yet