define(__title, `Master of Mathematics')dnl
define(__slug, `mmath')dnl
include(header.html)dnl
-define(__latex, `<span class="t-logo">L<sup>a</sup>T<sub>e</sub>X</span>')dnl
<article>
<h1>Master of Mathematics</h1>
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
<p>Reference version:
<a href="//p.bndl.org/bandali-mmath-thesis.pdf">pdf</a> |
-<a href="bandali-bib#bandali2020">bib</a><br/>
+<a href="__p/bandali-bib.html#bandali2020">bib</a><br/>
__latex sources:
<a href="//p.bndl.org/bandali-mmath-thesis.tar.gz">tar.gz</a> |
<a href="//p.bndl.org/bandali-mmath-thesis.zip">zip</a></p>