the Systems Committee of the
<a href="//csclub.uwaterloo.ca">Computer Science Club</a> of the
University of Waterloo, and an intern with the FSF tech team starting
-in May 2020.</p>
+in spring 2020.</p>
</section>
<section id="papers">
<h2>Papers</h2>
<dl>
-<dt>A Comparison of the Declarative Modelling Languages B, DASH, and
+<dt>A Comparison of the Declarative Modelling Languages B, Dash, and
TLA<sup>+</sup>
<small>
[ <a href="//p.bndl.org/modre2018-declarative.pdf">pdf</a>
</small>
</dt>
<dd>
-Ali Abbassi, <a href="//bandali.eu.org">Amin Bandali</a>,
+Ali Abbassi, <a href="//bndl.org">Amin Bandali</a>,
<a href="//cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, Jose Serna<br/>
<em>2018 IEEE 8th International Model-Driven Requirements Engineering
Workshop (MoDRE)</em><br/>
</small>
</dt>
<dd>
-<a href="//bandali.eu.org">Amin Bandali</a>,
+<a href="//bndl.org">Amin Bandali</a>,
<a href="//github.com/cipher1024">Simon Hudon</a>,
<a href="//www.cse.yorku.ca/~jonathan/">Jonathan S. Ostroff</a>
</dd>
</table>
</section>
-define(__copy, `2016–2019')dnl
+define(__copy, `2016–2020')dnl
include(footer.html)dnl