5 <meta name=viewport
content=
"width=device-width, initial-scale=1">
6 <meta name=
"description" content=
"Amin Bandali is a graduate
7 student at WatForm, the co-host of the Emacs.el
8 podcast, a free software advocate, and a volunteer
9 webmaster for the GNU project."/>
10 <title>Amin Bandali
</title>
11 <link rel=
"stylesheet" href=
"/style.css" />
15 <h1><a href=
"images/amin.png">Amin Bandali
</a>’s personal site
</h1>
17 Graduate student at University of Waterloo supervised by
18 <a href=
"https://cs.uwaterloo.ca/~nday/">Nancy Day
</a>
24 <h2 id=
"contact">Contact
</h2>
25 <table class=
"btable">
34 <td><a href=
"mailto:abandali@uwaterloo.ca">abandali@uwaterloo.ca
</a></td>
35 <td><a href=
"mailto:bandali@gnu.org">bandali@gnu.org
</a>
36 (
<a href=
"gpg">gpg
</a>)
</td>
40 <td><a href=
"https://git.uwaterloo.ca/abandali">git.uwaterloo.ca/abandali
</a></td>
41 <td><a href=
"https://git.sr.ht/~bandali">git.sr.ht/~bandali
</a></td>
45 <td>see
<a href=
"contact">contact
</a> page
</td>
52 <h2 id=
"research-interests">Research interests
</h2>
54 The main goal of my research is improving
55 <strong>software
reliability
</strong>
56 through application of
<em>formal methods
</em>.
60 My current research at
<a href=
"https://watform.uwaterloo.ca">WatForm
</a>
61 focuses on formal logic, model checking, and verification.
62 Specifically, I am working on various optimizations aiming to
63 improve the analysis performance of the Alloy Analyzer on
68 I am also interested in programming languages, type systems, and
69 interactive theorem proving.
73 On the side, I dabble in
<a href=
"https://leanprover.github.io">Lean
</a>
74 and
<a href=
"https://www.rust-lang.org">Rust
</a>, and enjoy
75 <a href=
"https://stallman.org/articles/on-hacking.html">hacking
</a> on
76 <a href=
"https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp
</a>.
77 I
’m also a
<a href=
"https://www.gnu.org/philosophy/free-sw.en.html">free software
</a>
78 and
<a href=
"https://www.gnu.org/licenses/copyleft.en.html">copyleft
</a>
79 advocate, and a volunteer webmaster for the GNU project.
83 You may wish to view my academic
<a href=
"bandali-cv.pdf">curriculum vitae
</a>.
88 <h2 id=
"publications">Publications
</h2>
90 <dt><b>A Comparison of the Declarative Modelling Languages
91 B, Dash, and TLA
<sup>+
</sup></b>
92 (
<a href=
"papers/2018-AbBaDaSe-modre.pdf">pdf
</a>,
93 <a href=
"papers/2018-AbBaDaSe-modre.bib">bib
</a>,
94 <a href=
"https://doi.org/10.1109/MoDRE.2018.00008">doi
</a>,
95 <a href=
"https://cs.uwaterloo.ca/~nday/models/2018-modre">models
</a>)
98 Ali Abbassi,
<strong>Amin Bandali
</strong>, Nancy A. Day,
102 <em>2018 IEEE
8th International Model-Driven Requirements
103 Engineering Workshop (MoDRE)
</em>
106 <!-- <h3 id="theses">Theses</h3> -->
110 <h2 id=
"presentations">Presentations
</h2>
112 <dt>Will be added soon.
</dt>
118 <h2 id=
"writings">Writings
</h2>
120 <dt>Will be added soon.
</dt>
127 Copyright (c)
2016–2019 Amin Bandali
<br>
128 Verbatim copying and redistribution of this entire page are
129 permitted provided this notice is preserved.
<br>
130 The
<a href=
"https://www.gnu.org/graphics/gnu-inside.html">
131 GNU Inside
</a> banner is available under the
132 <a href=
"https://creativecommons.org/licenses/by-sa/2.0/">
133 Creative Commons Attribution-ShareAlike
2.0 License
</a>.
135 <div id=
"gnu-inside">
136 <a href=
"https://www.gnu.org">
137 <img src=
"images/gnu-inside.png"
138 alt=
"GNU Inside!" title=
"GNU Inside!"/>