add “on the side” bit
[~bandali/bndl.org] / index.html
... / ...
CommitLineData
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</h1>
17 <h2 id="subtitle">my corner of 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">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 <p>
64 On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
65 and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
66 <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
67 </p>
68 </section>
69 </main>
70 </body>
71</html>