74e5fe1d8fac597c8335c5197950bf292978645c
[~bandali/bndl.org] / 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]]