URL details: shemshak.org/~bandali/theses/mmath.html#presentation
URL title:
Master of Mathematics - bandali
URL paragraphs:
I graduated from the University of Waterloo with the degree of Master of Mathematics in Computer Science in Spring 2020. My research at the Waterloo Formal Methods group focused on formal logic, model checking, and verification; under supervision of Prof.
URL last crawled:
2023-01-08
URL speed:
42.000 MB/s,
downloaded in 0.001 seconds
We found no external links pointing to this url.