X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/d9462d28f7f6dd46c6477ab0a3429caf1bff3f7d..6486444748489166fe12cbaa624614bf7d0a4928:/index.m4 diff --git a/index.m4 b/index.m4 index f83d756..2459b42 100644 --- a/index.m4 +++ b/index.m4 @@ -1,13 +1,13 @@ dnl -*- html -*- -define(__title, `Amin Bandali''`s Personal Site')dnl +define(__title, `Bandali''`s Personal Site')dnl define(__slug, `home')dnl define(__nts)dnl include(header.html)dnl
-

Hi, I'm Amin. I am currently a graduate student at the -Waterloo Formal Methods -group at the University of Waterloo, supervised by +

Hi, I'm bandali. I am a graduate student at the +Waterloo Formal Methods group at +the University of Waterloo, supervised by Nancy Day. The main goal of my research is improving software and systems reliability @@ -37,13 +37,13 @@ co-host of the Emacs.el podcast with the Systems Committee of the Computer Science Club of the University of Waterloo, and an intern with the FSF tech team starting -in May 2020.

+in spring 2020.

Papers

-
A Comparison of the Declarative Modelling Languages B, DASH, and +
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ [ pdf @@ -52,7 +52,7 @@ TLA+
-Ali Abbassi, Amin Bandali, +Ali Abbassi, Amin Bandali, Nancy A. Day, Jose Serna
2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)
@@ -76,7 +76,7 @@ York University, Toronto, Canada, August 15, 2017">poster
-Amin Bandali, +Amin Bandali, Simon Hudon, Jonathan S. Ostroff
@@ -136,5 +136,5 @@ and
-define(__copy, `2016–2019')dnl +define(__copy, `2016–2020')dnl include(footer.html)dnl