2bdb4b84e4edd21077d418d53cfc370b76194318
[~bandali/bndl.org] / index.html
1 <!DOCTYPE html>
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>
14 <main>
15 <header>
16 <h1 id="title">bandali's</h1>
17 <h2 id="subtitle">corner on the interwebs</h2>
18 </header>
19 <section>
20 <p>
21 hi, i'm
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.
25 </p>
26 </section>
27 <h3>academia</h3>
28 <section>
29 <nav>
30 <ul id="academia">
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>
34 </ul>
35 </nav>
36 <p>
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.&nbsp;nancy&nbsp;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.
43 </p>
44 </section>
45 <h3>personal</h3>
46 <section>
47 <nav>
48 <ul id="personal">
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>
53 </ul>
54 </nav>
55 <p>
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&nbsp;2019</a> this fall.
62 </p>
63 </section>
64 </main>
65 </body>
66 </html>