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