From: Amin Bandali
Date: Fri, 31 Jul 2020 01:28:07 +0000 (-0400)
Subject: s/Dr./Prof./
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/7602da8369400d57d81c4dccd3f05071547d7850
s/Dr./Prof./
---
diff --git a/index.m4 b/index.m4
index de2891c..2a9ef01 100644
--- a/index.m4
+++ b/index.m4
@@ -11,7 +11,7 @@ activist and a computing scientist. I graduated from the University
of Waterloo with a Master of Mathematics degree
in Computer Science, where I did research in formal logic, model
checking, and verification supervised
-by Dr. Nancy Day. The main
+by Prof. Nancy Day. The main
goal of my research is improving software and systems
reliability through application of
formal methods.
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.
A Comprehensive Study of Declarative Modelling Languages
dnl
diff --git a/static/bandali-bib-partial.html b/static/bandali-bib-partial.html
index 390682c..7723b56 100644
--- a/static/bandali-bib-partial.html
+++ b/static/bandali-bib-partial.html
@@ -30,7 +30,7 @@
crossref = {DBLP:conf/re/2018modre},
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}