<body>
<main>
<header>
- <h1 id="title">bandali's</h1>
- <h2 id="subtitle">corner on the interwebs</h2>
+ <h1 id="title">bandali</h1>
+ <h2 id="subtitle">my corner of 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">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>
+ <p>
+ On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
+ and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+ <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
</p>
</section>
</main>
projects / ~bandali / bndl.org / blobdiff