<title>bandali's contact info</title>
<meta
name="description"
- content="Amin Bandali’s contact information" />
+ content="Amin Bandali's contact information" />
<link rel="stylesheet" href="/style.css" />
</head>
<body>
<main>
<header>
- <h1 id="title">bandali's</h1>
+ <h1 id="title">bandali’s</h1>
<h2 id="subtitle">Contact info</h2>
</header>
<section>
<section>
<p>
You may also find me at a few other places online. Stricken
- through accounts are those I don't use anymore, unless
+ through accounts are those I don’t use anymore, unless
absolutely necessary.
</p>
<ul>
<body>
<main>
<header>
- <h1 id="title">bandali's</h1>
+ <h1 id="title">bandali’s</h1>
<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>,
often just <code>bandali</code> around the web.
</ul>
</nav>
<p>
- I
'm a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
+ 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
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.
+ and I
’m organizing <a href="https://emacsconf.org/2019/">EmacsConf 2019</a> this fall.
</p>
</section>
</main>
projects / ~bandali / bndl.org / commitdiff