s/Dr./Prof./
authorAmin Bandali <bandali@gnu.org>
Fri, 31 Jul 2020 01:28:07 +0000 (21:28 -0400)
committerAmin Bandali <bandali@gnu.org>
Fri, 31 Jul 2020 01:28:07 +0000 (21:28 -0400)
index.m4
mmath.m4
static/bandali-bib-partial.html

index de2891c..2a9ef01 100644 (file)
--- a/index.m4
+++ b/index.m4
@@ -11,7 +11,7 @@ activist and a computing scientist.  I graduated from the University
 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
-by <a href="//cs.uwaterloo.ca/~nday/">Dr.&nbsp;Nancy Day</a>.  The main
+by <a href="//cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.  The main
 goal of my research is improving <strong>software and systems
 reliability</strong> through application of
 <a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>.
 goal of my research is improving <strong>software and systems
 reliability</strong> through application of
 <a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>.
index 98584a3..e2fb23b 100644 (file)
--- 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
 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
 
 <h2>A Comprehensive Study of Declarative Modelling Languages</h2>
 dnl
index 390682c..7723b56 100644 (file)
@@ -30,7 +30,7 @@
   crossref = {<a href="#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>},
   url = {https://doi.org/10.1109/MoDRE.2018.00008},
   doi = {10.1109/MoDRE.2018.00008},
   crossref = {<a href="#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>},
   url = {https://doi.org/10.1109/MoDRE.2018.00008},
   doi = {10.1109/MoDRE.2018.00008},
-  timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
+  timestamp = {Thu, 16 Jul 2020 12:21:41 +0200},
   biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
   bibsource = {dblp computer science bibliography, https://dblp.org},
   pdf = {https://p.bndl.org/modre2018-declarative.pdf}
   biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
   bibsource = {dblp computer science bibliography, https://dblp.org},
   pdf = {https://p.bndl.org/modre2018-declarative.pdf}