From 7602da8369400d57d81c4dccd3f05071547d7850 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Thu, 30 Jul 2020 21:28:07 -0400 Subject: [PATCH 1/1] s/Dr./Prof./ --- index.m4 | 2 +- mmath.m4 | 2 +- static/bandali-bib-partial.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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} -- 2.20.1