git.shemshak.org - ~bandali/bndl.org/blob - source/index.org

   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]]