add blurb about me to front page
authorAmin Bandali <bandali@gnu.org>
Wed, 31 Jul 2019 13:40:17 +0000 (09:40 -0400)
committerAmin Bandali <bandali@gnu.org>
Wed, 31 Jul 2019 13:40:17 +0000 (09:40 -0400)
index.html
style.css

index e0efc13..2bdb4b8 100644 (file)
         <h1 id="title">bandali's</h1>
         <h2 id="subtitle">corner on the interwebs</h2>
       </header>
         <h1 id="title">bandali's</h1>
         <h2 id="subtitle">corner on the interwebs</h2>
       </header>
+      <section>
+        <p>
+          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.
+        </p>
+      </section>
       <h3>academia</h3>
       <section>
         <nav>
       <h3>academia</h3>
       <section>
         <nav>
             <li><a href="research-interests">research interests</a></li>
           </ul>
         </nav>
             <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.&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>
       <h3>personal</h3>
       <section>
       </section>
       <h3>personal</h3>
       <section>
             <li><a href="contact">contact</a></li>
           </ul>
         </nav>
             <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&nbsp;2019</a> this fall.
+        </p>
       </section>
     </main>
   </body>
       </section>
     </main>
   </body>
index 86cf7ea..af0562d 100644 (file)
--- a/style.css
+++ b/style.css
@@ -97,3 +97,6 @@ main > h3, ul:first-child {
 p:first-child {
   margin-top: 0;
 }
 p:first-child {
   margin-top: 0;
 }
+p:last-child {
+  margin-bottom: 0;
+}