add post-specific copyright years
[~bandali/bndl.org] / index.html
CommitLineData
ff620ce6 1<!doctype html>
ef72be3e
AB
2<html lang="en">
3 <head>
4 <meta charset="utf-8" />
5 <meta name=viewport content="width=device-width, initial-scale=1" />
6 <title>Amin Bandali's Personal Site</title>
7 <meta
8 name="description"
9 content="Amin Bandali is a graduate student at WatForm, a free
10 software activist, and a GNU webmaster and volunteer." />
11 <link rel="stylesheet" href="/style.css" />
12 </head>
13 <body>
ff620ce6 14 <nav><span>bandali.eu.org</span></nav>
9998ccd0 15 <main>
ff620ce6 16 <h1 id="hiddentitle">Amin Bandali</h1>
4ad3138c
AB
17 <section>
18 <p>
1c986cd7 19 Hi, I’m
4ad3138c 20 <a href="images/bandali-with-rms.jpg"
ff620ce6 21 title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>.
1c986cd7 22 I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
127617a6
AB
23 at University of Waterloo, supervised by
24 <a href="https://cs.uwaterloo.ca/~nday/">Dr.&nbsp;Nancy&nbsp;Day</a>.
ff620ce6
AB
25 The main goal of my research is improving
26 <strong>software and systems reliability</strong>
27 through application of <em>formal methods</em>.
4ad3138c 28 </p>
ff620ce6 29
4ad3138c 30 <p>
ff620ce6
AB
31 My research at WatForm focuses on formal logic, model
32 checking, and verification. I’m also interested in
33 programming languages, theorem provers, and their type
34 systems. You may wish to view my
35 academic <a href="bandali-cv.html">curriculum vitae</a>.
36 </p>
37
38 <p class="notice">
39 <strong>SE 212 students:</strong>
40 see <a href="se212-f19/">here</a> for slides and other
41 material from the tutorials.
4ad3138c 42 </p>
ff620ce6 43
46e00845
AB
44 <p>
45 On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
46 and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
ff620ce6
AB
47 <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Elisp</a>.
48 I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a> activist
49 and FSF <a href="https://www.fsf.org/associate/">supporter</a>, and a GNU maintainer
50 and <a href="https://www.gnu.org/people/webmeisters.html#bandali">webmaster</a>.
51 I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast with
52 <a href="https://www.pygopar.com">Daniel Gopar</a>, and
53 organize <a href="https://emacsconf.org">EmacsConf</a> with
54 help from many wonderful people.
55
56 I am also a member of the Systems Committee for the
57 <a href="https://csclub.uwaterloo.ca">Computer Science Club
58 of the University of Waterloo</a>.
59 </p>
60
61 <p>
62 See my <a href="contact.html">contact</a> page for how to
63 best reach me.
46e00845 64 </p>
9998ccd0 65 </section>
ff620ce6
AB
66
67 <h3 id="papers">Papers</h3>
68 <dl>
69 <dt>
70 A Comparison of the Declarative Modelling Languages B,
71 Dash, and TLA<sup>+</sup>
72 <span class="plinks">
73 [
74 <a href="papers/modre2018-declarative.pdf">pdf</a>
75 |
76 <a href="papers/modre2018-declarative.bib">bib</a>
77 ]
78 </span>
79 </dt>
80 <dd>
81 Ali Abbassi,
82 <a href="https://bandali.eu.org">Amin Bandali</a>,
83 <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>,
84 and Jose Serna<br/>
85 <em>2018 IEEE 8th International Model-Driven Requirements
86 Engineering Workshop (MoDRE)</em><br/>
87 Copyright © 2018 IEEE. All Rights Reserved. Sadly.
88 </dd>
89 </dl>
90
91 <h3 id="talks">Talks</h3>
92 <dl>
93 <dt>
94 The Magic of Specifications and Type Systems
95 <span class="plinks">
96 [
97 <a href="talks/cucsc-2017-slides.pdf"
98 title="presented at the Canadian Undergraduate Computer Science Conference 2017,
99 University of Toronto, Canada, June 15-17, 2017">slides</a>
100 |
101 <a href="talks/eecs4080-poster.pdf"
102 title="presented at the Lassonde Undergraduate Summer Student Research Conference,
103 York University, Toronto, Canada, August 15, 2017">poster</a>
104 ]
105 </span>
106 </dt>
107 <dd>
108 <a href="https://bandali.eu.org">Amin Bandali</a>,
109 <a href="https://github.com/cipher1024">Simon Hudon</a>,
110 <a href="http://www.cse.yorku.ca/~jonathan/">Jonathan Ostroff</a>
111 </dd>
112 </dl>
113
114 <h3>Projects</h3>
115 <p>
116 Below are a number of free software projects I have worked on:
117 </p>
118 <dl>
119 <dt><a href="https://git.sr.ht/~bandali/george-mode">george-mode</a></dt>
120 <dd>Emacs major mode for editing George files</dd>
121
122 <dt><a href="https://git.uwaterloo.ca/bandali/alloy-catalyst">alloy-catalyst</a></dt>
123 <dd>Framework for performance analysis of Alloy models</dd>
124
125 <dt><a href="https://github.com/unitb/unitb-web">unitb-web</a></dt>
126 <dd>Web interface for Unit-B</dd>
127
128 <dt><a href="https://github.com/unitb/tex2png-hs">tex2png-hs</a></dt>
129 <dd>Library and CLI for converting TeX and LaTeX to PNG images</dd>
130 </dl>
131
132 <h3>Notes</h3>
133 <ul>
134 <!-- <li>
135 <a href="streaming-with-free-software.html">Streaming with
136 Free Software</a>
137 </li> -->
138 <li>
139 <a href="bandali-computing.html">How I do my computing</a>
140 </li>
141 </ul>
9998ccd0 142 </main>
ff620ce6
AB
143 <footer>
144 <p>
145 Copyright © 2016–2019 Amin Bandali.
146 See <a href="/license.html">license.html</a> for license
147 conditions. Please copy and share.
148 </p>
149 </footer>
ef72be3e
AB
150 </body>
151</html>