#+title:
#+date: [2018-08-19 Sun]
#+options: toc:nil title:nil

#+include: "./macros.org"

#+begin_export html
<h1 id="hello">Hello there,</h1>
<p>
<img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
</p>
<div class="clear"></div>
#+end_export

I'm a [[file:uw.org][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of Waterloo,
supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]].  I'm interested in using formal methods,
especially type systems, to help make software more reliable.

* Publications
:PROPERTIES:
:CUSTOM_ID: publications
:END:

- *A comparison of the declarative modelling languages B, Dash, and
  TLA^{+}* (pdf, bib, [[https://cs.uwaterloo.ca/~nday/models/2018-modre][models]])

  {{{pub-desc(Ali Abbassi\, Amin Bandali\, Nancy A. Day\, and Jose Serna.  In
  /International Workshop on Model-Driven Requirements Engineering (MoDRE) @ IEEE International Requirements Engineering Conference (RE)/.
  To appear\, 2018.)}}}

* Talks & presentations

- TODO

* Recent writings & essays

# TODO: atom feed

#+attr_html: :title November 1, 2016
- [[file:2016/11/arch-macbook-air.org][Arch Linux on MacBook Air 2013]]