add wip cv and research interests pages

[~bandali/bndl.org] / index.html
diff --git a/index.html b/index.html

index 2bdb4b8..46b9dc3 100644 (file)
--- a/index.html
+++ b/index.html
@@ -13,52 +13,52 @@
    <body>
      <main>
        <header>
    <body>
      <main>
        <header>
-        <h1 id="title">bandali's</h1>
-        <h2 id="subtitle">corner on the interwebs</h2>
+        <h1 id="title">bandali’s</h1>
+        <h2 id="subtitle">Corner on the interwebs</h2>
        </header>
        <section>
          <p>
        </header>
        <section>
          <p>
-          hi, i'm
+          Hi, I’m
            <a href="images/bandali-with-rms.jpg"
            <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>
            often just <code>bandali</code> around the web.
          </p>
        </section>
-      <h3>academia</h3>
+      <h3>Academia</h3>
        <section>
          <nav>
            <ul id="academia">
        <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>
            </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.&nbsp;nancy&nbsp;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.&nbsp;Nancy&nbsp;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>
            above for more details.
          </p>
        </section>
-      <h3>personal</h3>
+      <h3>Personal</h3>
        <section>
          <nav>
            <ul id="personal">
        <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>
            </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&nbsp;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&nbsp;2019</a> this fall.
          </p>
        </section>
      </main>
          </p>
        </section>
      </main>