tweak publication styles
[~bandali/bndl.org] / index.html
CommitLineData
ef72be3e
AB
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>
9998ccd0
AB
14 <main>
15 <header>
ea846b41
AB
16 <h1 id="title">bandali</h1>
17 <h2 id="subtitle">my corner of the interwebs</h2>
9998ccd0 18 </header>
4ad3138c
AB
19 <section>
20 <p>
1c986cd7 21 Hi, I’m
4ad3138c 22 <a href="images/bandali-with-rms.jpg"
127617a6 23 title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
4ad3138c
AB
24 often just <code>bandali</code> around the web.
25 </p>
26 </section>
127617a6 27 <h3>Academia</h3>
9998ccd0 28 <section>
ef72be3e
AB
29 <nav>
30 <ul id="academia">
127617a6
AB
31 <li><a href="cv">CV</a></li>
32 <li><a href="publications">Publications</a></li>
cc996fd2 33 <li><a href="research">Research interests</a></li>
ef72be3e
AB
34 </ul>
35 </nav>
4ad3138c 36 <p>
1c986cd7 37 I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
127617a6
AB
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
4ad3138c
AB
42 above for more details.
43 </p>
9998ccd0 44 </section>
127617a6 45 <h3>Personal</h3>
9998ccd0 46 <section>
ef72be3e
AB
47 <nav>
48 <ul id="personal">
127617a6
AB
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>
ef72be3e
AB
53 </ul>
54 </nav>
4ad3138c 55 <p>
127617a6
AB
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,
1c986cd7 61 and I’m organizing <a href="https://emacsconf.org/2019/">EmacsConf&nbsp;2019</a> this fall.
4ad3138c 62 </p>
46e00845
AB
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>
9998ccd0
AB
68 </section>
69 </main>
ef72be3e
AB
70 </body>
71</html>