X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/206884ba366bc325051c0862756f2ad18ad94729..a98c50cd044a2d649c345ee6c88dba9cc8016b65:/mmath.m4

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 <a href="//watform.uwaterloo.ca">Waterloo
 Formal Methods</a> group focused on formal logic, model checking, and
 verification; under supervision of
-<a href="//cs.uwaterloo.ca/~nday/">Dr. Nancy Day</a>.</p>
+<a href="//cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p>
 
 <h2>A Comprehensive Study of Declarative Modelling Languages</h2>
 dnl