update gpg key
[~bandali/bndl.org] / index.html
CommitLineData
6c3ca0ba
AB
1<!--# include virtual="/common/header.html" -->
2<meta
3 name="description"
4 content="Amin Bandali is a graduate student at WatForm, the
6d80ac58 5 co-host of the Emacs.el podcast, a free software activist,
6c3ca0ba
AB
6 and a volunteer webmaster for the GNU project."/>
7<title>Amin Bandali</title>
8<!--#set var="bpage" value="Home" -->
9<!--# include virtual="/common/banner.html" -->
10<main>
11 <section>
12 <h2 id="contact">Contact</h2>
13 <table class="btable">
14 <tbody>
15 <tr>
16 <th></th>
6d80ac58
AB
17 <th>email</th>
18 <th>projects</th>
6c3ca0ba
AB
19 </tr>
20 <tr>
6d80ac58 21 <td>academic</td>
6c3ca0ba 22 <td><a href="mailto:abandali@uwaterloo.ca">abandali@uwaterloo.ca</a></td>
6d80ac58 23 <td><a href="https://git.uwaterloo.ca/abandali">git.uwaterloo.ca/abandali</a></td>
6c3ca0ba
AB
24 </tr>
25 <tr>
6d80ac58
AB
26 <td>personal</td>
27 <td><a href="mailto:amin@shemshak.org">amin@shemshak.org</a></td>
d914cd28
AB
28 <td>
29 <a href="https://git.shemshak.org/amin">shemshak</a>
30 |
31 <a href="https://git.sr.ht/~bandali">sourcehut</a>
32 </td>
6c3ca0ba
AB
33 </tr>
34 <tr>
6d80ac58 35 <td>gnu</td>
b055850c 36 <td><a href="mailto:mab@gnu.org">mab@gnu.org</a>
6d80ac58 37 <td><a href="https://sv.gnu.org/u/bandali">sv.gnu.org/u/bandali</a></td>
6c3ca0ba
AB
38 </tr>
39 </tbody>
40 </table>
6d80ac58
AB
41 <p>
42 See <a href="contact">contact</a> for more, and <a href="gpg">gpg</a>
43 for sending me encrypted mail.
44 </p>
6c3ca0ba 45 </section>
cb742bb6 46
6c3ca0ba
AB
47 <section>
48 <h2 id="research-interests">Research interests</h2>
49 <p>
50 The main goal of my research is improving
51 <strong>software&nbsp;reliability</strong>
52 through application of <em>formal methods</em>.
53 </p>
cb742bb6 54
6c3ca0ba
AB
55 <p>
56 My current research at <a href="https://watform.uwaterloo.ca">WatForm</a>
57 focuses on formal logic, model checking, and verification.
58 Specifically, I am working on various optimizations aiming to
59 improve the analysis performance of the Alloy Analyzer on
60 models.
61 </p>
cb742bb6 62
6c3ca0ba
AB
63 <p>
64 I am also interested in programming languages, type systems, and
65 interactive theorem proving.
66 </p>
cb742bb6 67
6c3ca0ba
AB
68 <p>
69 You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>.
70 </p>
71 </section>
cb742bb6 72
6c3ca0ba
AB
73 <section>
74 <h2 id="publications">Publications</h2>
75 <dl>
76 <dt>
77 <strong>A Comparison of the Declarative Modelling
78 Languages B, Dash, and TLA<sup>+</sup></strong>
79 (<a href="papers/2018-AbBaDaSe-modre.pdf">pdf</a>,
80 <a href="papers/2018-AbBaDaSe-modre.bib">bib</a>,
81 <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>,
82 <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>)
83 </dt>
84 <dd>
85 Ali Abbassi, <strong>Amin Bandali</strong>, Nancy A. Day,
86 and Jose Serna
87 </dd>
88 <dd>
89 <em>2018 IEEE 8th International Model-Driven Requirements
90 Engineering Workshop (MoDRE)</em>
91 </dd>
92 </dl>
93 <!-- <h3 id="theses">Theses</h3> -->
94 </section>
cb742bb6 95
6c3ca0ba
AB
96 <section>
97 <h2 id="presentations">Presentations</h2>
98 <dl>
99 <dt>
6d80ac58 100 <strong>The Magic of Specifications and Type Systems</strong>
6c3ca0ba 101 </dt>
6d80ac58
AB
102 <dd>
103 <strong>Amin Bandali</strong>, Simon Hudon, Jonathan Ostroff
6c3ca0ba
AB
104 </dd>
105 <dd><a href="presentations/cucsc-2017-slides.pdf">Slides</a>
106 presented at
6d80ac58
AB
107 <abbr title="Canadian Undergraduate Computer Science Conference">CUCSC 2017</abbr>,
108 University of Toronto, Canada, June 15-17, 2017.
109 </dd>
110 <dd>
111 <a href="presentations/eecs4080-poster.pdf">Poster</a> presented at
112 <abbr title="Lassonde Undergraduate Summer Student Research Conference">Lassonde USSR Conference</abbr>,
113 York University, Toronto, Canada, August 15, 2017.
6c3ca0ba 114 </dd>
6c3ca0ba
AB
115 </dl>
116 </section>
cb742bb6 117
6c3ca0ba
AB
118 <section>
119 <h2 id="writings">Writings</h2>
120 <dl>
121 <dt>Will be added soon.</dt>
122 <!-- <dd></dd> -->
123 </dl>
124 </section>
b77d1ccc
AB
125
126 <section>
127 <h2 id="other-interests">Other interests</h2>
128 <p>
129 On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
130 and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
131 <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
132 I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
133 and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>
134 activist, a <a href="https://www.gnu.org/people/webmeisters.html#bandali">volunteer webmaster</a>
135 for the GNU project, and a co-host of the <a href="https://emacsel.com">Emacs.el</a> podcast.
136 </p>
137 </section>
6c3ca0ba
AB
138</main>
139<!--# include virtual="/common/footer.html" -->