mtrberzi

Waterloo, Ontario, Canada

http://lp0onfire.io

Software engineering graduate student at University of Waterloo. Interests include formal methods, automated reasoning, theorem proving, compilers, and vulnerability detection.