mtrberzi
Software engineering graduate student at University of Waterloo. Interests include formal methods, automated reasoning, theorem proving, compilers, and vulnerability detection.
5
answers
1
question
~6k
people reached
-
Waterloo, Ontario, Canada
-
Member for 7 years, 9 months
-
15 profile views
-
Last seen Apr 5 '18 at 19:09