80c27d78e7e0adb0d4d9b016842206573bf470f4
[~bandali/bndl.org] / index.html
1 <!--# include virtual="/common/header.html" -->
2 <meta
3 name="description"
4 content="Amin Bandali is a graduate student at WatForm, the
5 co-host of the Emacs.el podcast, a free software activist,
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>
17 <th>email</th>
18 <th>projects</th>
19 </tr>
20 <tr>
21 <td>academic</td>
22 <td><a href="mailto:abandali@uwaterloo.ca">abandali@uwaterloo.ca</a></td>
23 <td><a href="https://git.uwaterloo.ca/abandali">git.uwaterloo.ca/abandali</a></td>
24 </tr>
25 <tr>
26 <td>personal</td>
27 <td><a href="mailto:amin@shemshak.org">amin@shemshak.org</a></td>
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>
33 </tr>
34 <tr>
35 <td>gnu</td>
36 <td><a href="mailto:mab@gnu.org">mab@gnu.org</a>
37 <td><a href="https://sv.gnu.org/u/bandali">sv.gnu.org/u/bandali</a></td>
38 </tr>
39 </tbody>
40 </table>
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>
45 </section>
46
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>
54
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>
62
63 <p>
64 I am also interested in programming languages, type systems, and
65 interactive theorem proving.
66 </p>
67
68 <p>
69 You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>.
70 </p>
71 </section>
72
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>
95
96 <section>
97 <h2 id="presentations">Presentations</h2>
98 <dl>
99 <dt>
100 <strong>The Magic of Specifications and Type Systems</strong>
101 </dt>
102 <dd>
103 <strong>Amin Bandali</strong>, Simon Hudon, Jonathan Ostroff
104 </dd>
105 <dd><a href="presentations/cucsc-2017-slides.pdf">Slides</a>
106 presented at
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.
114 </dd>
115 </dl>
116 </section>
117
118 <section>
119 <h2 id="writings">Writings</h2>
120 <dl>
121 <dt>Will be added soon.</dt>
122 <!-- <dd></dd> -->
123 </dl>
124 </section>
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>
138 </main>
139 <!--# include virtual="/common/footer.html" -->