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}