<main>
<header>
<h1 id="title">bandali's</h1>
- <h2 id="subtitle">contact info</h2>
+ <h2 id="subtitle">Contact info</h2>
</header>
<section>
<p>
- email is by far my preferred method of communication. i may
+ Email is by far my preferred method of communication. I may
be contacted at bandali at gnu dot org.
- if you want to send me gpg-encrypted mail, you can use my
+ If you want to send me GPG-encrypted mail, you can use my
<a href="bandali-pubkey.txt">public key</a> with the
fingerprint <code>BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103</code>.
</p>
<table>
<tbody>
<tr>
- <td>irc</td>
+ <td>IRC</td>
<td>
<code>bandali</code> on
<a href="https://freenode.net">freenode</a> and
</td>
</tr>
<tr>
- <td>xmpp</td>
+ <td>XMPP</td>
<td><a href="xmpp:bandali@member.fsf.org">
<code>bandali@member.fsf.org</code></a>
</td>
</tr>
<tr>
- <td>matrix</td>
+ <td>Matrix</td>
<td><a href="https://matrix.to/#/@bandali:matrix.org">
<code>@bandali:matrix.org</code></a>
</td>
</tr>
<tr>
- <td>fediverse</td>
+ <td>Fediverse</td>
<td><a href="https://pleroma.site/bandali">
<code>@bandali@pleroma.site</code></a>
</td>
</table>
</section>
- <h3>elsewhere</h3>
+ <h3>Elsewhere</h3>
<section>
<p>
- you may also find me at a few other places online. stricken
- through accounts are those i don’t use anymore, unless
+ You may also find me at a few other places online. Stricken
+ through accounts are those I don't use anymore, unless
absolutely necessary.
</p>
<ul>
- <li><a href="https://libreplanet.org/wiki/User:Bandali">bandali</a> on libreplanet</li>
- <li><a href="https://emacsconf.org/bandali">bandali</a> on emacsconf</li>
- <li><a href="https://savannah.gnu.org/users/bandali">bandali</a> on savannah</li>
- <li><a href="https://git.sr.ht/~bandali">bandali</a> on sourcehut</li>
- <li><a href="https://lobste.rs/u/bandali">bandali</a> on lobsters</li>
- <li><a href="https://hackage.haskell.org/user/bandali">bandali</a> on hackage</li>
- <li><a href="https://gitlab.com/bandali">bandali</a> on gitlab</li>
- <li><a href="https://news.ycombinator.com/user?id=bandali">bandali</a> on hn</li>
+ <li><a href="https://libreplanet.org/wiki/User:Bandali">Bandali</a> on LibrePlanet</li>
+ <li><a href="https://emacsconf.org/bandali">bandali</a> on EmacsConf</li>
+ <li><a href="https://savannah.gnu.org/users/bandali">bandali</a> on Savannah</li>
+ <li><a href="https://git.sr.ht/~bandali">bandali</a> on SourceHut</li>
+ <li><a href="https://lobste.rs/u/bandali">bandali</a> on Lobsters</li>
+ <li><a href="https://hackage.haskell.org/user/bandali">bandali</a> on Hackage</li>
+ <li><a href="https://gitlab.com/bandali">bandali</a> on GitLab</li>
+ <li><a href="https://news.ycombinator.com/user?id=bandali">bandali</a> on HN</li>
<li><a href="https://www.reddit.com/u/bandali">bandali</a> on reddit</li>
- <li><strike><a href="https://www.reddit.com/u/aminb">aminb</a> on reddit</strike></li>
- <li><strike><a href="https://github.com/notbandali">notbandali</a> on github</strike></li>
- <li><strike><a href="https://twitter.com/notbandali">notbandali</a> on twitter</strike></li>
+ <li><del><a href="https://www.reddit.com/u/aminb">aminb</a> on reddit</del></li>
+ <li><del><a href="https://github.com/notbandali">notbandali</a> on GitHub</del></li>
+ <li><del><a href="https://twitter.com/notbandali">notbandali</a> on Twitter</del></li>
</ul>
</section>
</main>
<main>
<header>
<h1 id="title">bandali's</h1>
- <h2 id="subtitle">corner on the interwebs</h2>
+ <h2 id="subtitle">Corner on the interwebs</h2>
</header>
<section>
<p>
- hi, i'm
+ Hi, I'm
<a href="images/bandali-with-rms.jpg"
- title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">amin bandali</a>,
+ title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
often just <code>bandali</code> around the web.
</p>
</section>
- <h3>academia</h3>
+ <h3>Academia</h3>
<section>
<nav>
<ul id="academia">
- <li><a href="cv">cv</a></li>
- <li><a href="publications">publications</a></li>
- <li><a href="research-interests">research interests</a></li>
+ <li><a href="cv">CV</a></li>
+ <li><a href="publications">Publications</a></li>
+ <li><a href="research-interests">Research interests</a></li>
</ul>
</nav>
<p>
- i'm a graduate student at <a href="https://watform.uwaterloo.ca">watform</a>
- at university of waterloo, supervised by
- <a href="https://cs.uwaterloo.ca/~nday/">dr. nancy day</a>.
- my research at watform focuses on formal logic, model
- checking, and verification. see my research interests link
+ I'm a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
+ at University of Waterloo, supervised by
+ <a href="https://cs.uwaterloo.ca/~nday/">Dr. Nancy Day</a>.
+ My research at WatForm focuses on formal logic, model
+ checking, and verification. See my research interests link
above for more details.
</p>
</section>
- <h3>personal</h3>
+ <h3>Personal</h3>
<section>
<nav>
<ul id="personal">
- <li><a href="blog">blog</a></li>
- <li><a href="now">now</a></li>
- <li><a href="computing">computing</a></li>
- <li><a href="contact">contact</a></li>
+ <li><a href="blog">Blog</a></li>
+ <li><a href="now">Now</a></li>
+ <li><a href="computing">Computing</a></li>
+ <li><a href="contact">Contact</a></li>
</ul>
</nav>
<p>
- i’m a <a href="https://www.gnu.org/philosophy/free-sw.html">free software</a>
- and <a href="https://www.gnu.org/licenses/copyleft.html">copyleft</a> activist,
- an <a href="https://www.fsf.org/associate/">fsf associate member</a>,
- and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">gnu webmaster</a>
- and volunteer. i co-host the <a href="https://emacsel.com">emacs.el</a> podcast,
- and i'm organizing <a href="https://emacsconf.org/2019/">emacsconf 2019</a> this fall.
+ I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a>
+ and <a href="https://www.gnu.org/licenses/copyleft.html">Copyleft</a> activist,
+ an <a href="https://www.fsf.org/associate/">FSF associate member</a>,
+ and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>
+ and volunteer. I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast,
+ and I'm organizing <a href="https://emacsconf.org/2019/">EmacsConf 2019</a> this fall.
</p>
</section>
</main>
body {
font-family: FreeSans, sans-serif;
+ text-transform: lowercase;
line-height: 1.4;
padding: 1em;
}
code {
font-size: 1.15em;
+ text-transform: none;
}
table td {