add GNU Inside badge
[~bandali/bndl.org] / source / index.org
CommitLineData
b307aaa9
AB
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
15I'm a [[file:uw.org][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of Waterloo,
16supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]]. I'm interested in using formal methods,
17especially 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]]