| | 1 | #+title: |
| | 2 | #+date: [2018-08-19 Sun] |
| | 3 | #+options: toc:nil title:nil |
| | 4 | |
| | 5 | #+include: "./macros.org" |
| | 6 | |
| | 7 | #+begin_export html |
| | 8 | <h1 id="hello">Hello there,</h1> |
| | 9 | <p> |
| | 10 | <img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali"> |
| | 11 | </p> |
| | 12 | <div class="clear"></div> |
| | 13 | #+end_export |
| | 14 | |
| | 15 | I'm a [[file:uw.org][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of Waterloo, |
| | 16 | supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]]. I'm interested in using formal methods, |
| | 17 | especially type systems, to help make software more reliable. |
| | 18 | |
| | 19 | * Publications |
| | 20 | :PROPERTIES: |
| | 21 | :CUSTOM_ID: publications |
| | 22 | :END: |
| | 23 | |
| | 24 | - *A comparison of the declarative modelling languages B, Dash, and |
| | 25 | TLA^{+}* (pdf, bib, [[https://cs.uwaterloo.ca/~nday/models/2018-modre][models]]) |
| | 26 | |
| | 27 | {{{pub-desc(Ali Abbassi\, Amin Bandali\, Nancy A. Day\, and Jose Serna. In |
| | 28 | /International Workshop on Model-Driven Requirements Engineering (MoDRE) @ IEEE International Requirements Engineering Conference (RE)/. |
| | 29 | To appear\, 2018.)}}} |
| | 30 | |
| | 31 | * Talks & presentations |
| | 32 | |
| | 33 | - TODO |
| | 34 | |
| | 35 | * Recent writings & essays |
| | 36 | |
| | 37 | # TODO: atom feed |
| | 38 | |
| | 39 | #+attr_html: :title November 1, 2016 |
| | 40 | - [[file:2016/11/arch-macbook-air.org][Arch Linux on MacBook Air 2013]] |
projects / ~bandali / bndl.org / blame_incremental