of Waterloo with a <a href="/mmath">Master of Mathematics</a> degree
in Computer Science, where I did research in formal logic, model
checking, and verification supervised
of Waterloo with a <a href="/mmath">Master of Mathematics</a> degree
in Computer Science, where I did research in formal logic, model
checking, and verification supervised