4 <meta charset="utf-8" />
5 <meta name=viewport content="width=device-width, initial-scale=1" />
6 <title>Amin Bandali's Personal Site</title>
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" />
16 <h1 id="title">bandali’s</h1>
17 <h2 id="subtitle">Corner on the interwebs</h2>
22 <a href="images/bandali-with-rms.jpg"
23 title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
24 often just <code>bandali</code> around the web.
31 <li><a href="cv">CV</a></li>
32 <li><a href="publications">Publications</a></li>
33 <li><a href="research-interests">Research interests</a></li>
37 I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
38 at University of Waterloo, supervised by
39 <a href="https://cs.uwaterloo.ca/~nday/">Dr. Nancy Day</a>.
40 My research at WatForm focuses on formal logic, model
41 checking, and verification. See my research interests link
42 above for more details.
49 <li><a href="blog">Blog</a></li>
50 <li><a href="now">Now</a></li>
51 <li><a href="computing">Computing</a></li>
52 <li><a href="contact">Contact</a></li>
56 I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a>
57 and <a href="https://www.gnu.org/licenses/copyleft.html">Copyleft</a> activist,
58 an <a href="https://www.fsf.org/associate/">FSF associate member</a>,
59 and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>
60 and volunteer. I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast,
61 and I’m organizing <a href="https://emacsconf.org/2019/">EmacsConf 2019</a> this fall.