[~bandali/bndl.org] / source / index.org

#+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]]
Commit	Line	Data
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
	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]]