X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/206884ba366bc325051c0862756f2ad18ad94729..29f0d7b9e10f827c29213a40279b8a767c99d80b:/mmath.m4?ds=sidebyside diff --git a/mmath.m4 b/mmath.m4 index 98584a3..e2fb23b 100644 --- a/mmath.m4 +++ b/mmath.m4 @@ -11,7 +11,7 @@ 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 -Dr. Nancy Day.
+Prof. Nancy Day.