[~bandali/bndl.org] / index.html

<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8" />
    <meta name=viewport content="width=device-width, initial-scale=1" />
    <title>Amin Bandali's Personal Site</title>
    <meta
      name="description"
      content="Amin Bandali is a graduate student at WatForm, a free
            software activist, and a GNU webmaster and volunteer." />
    <link rel="stylesheet" href="/style.css" />
  </head>
  <body>
    <main>
      <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>
          <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>
          </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>
        <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>
          </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>
</html>
Commit	Line	Data
ef72be3e AB	1	<!DOCTYPE html>
	2	<html lang="en">
	3	<head>
	4	<meta charset="utf-8" />
	5	<meta name=viewport content="width=device-width, initial-scale=1" />
	6	<title>Amin Bandali's Personal Site</title>
	7	<meta
	8	name="description"
	9	content="Amin Bandali is a graduate student at WatForm, a free
	10	software activist, and a GNU webmaster and volunteer." />
	11	<link rel="stylesheet" href="/style.css" />
	12	</head>
	13	<body>
9998ccd0 AB	14	<main>
	15	<header>
	16	<h1 id="title">bandali's</h1>
127617a6	17	<h2 id="subtitle">Corner on the interwebs</h2>
9998ccd0	18	</header>
4ad3138c AB	19	<section>
4ad3138c AB	20	<p>
127617a6	21	Hi, I'm
4ad3138c	22	<a href="images/bandali-with-rms.jpg"
127617a6	23	title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
4ad3138c AB	24	often just <code>bandali</code> around the web.
	25	</p>
	26	</section>
127617a6	27	<h3>Academia</h3>
9998ccd0	28	<section>
ef72be3e AB	29	<nav>
ef72be3e AB	30	<ul id="academia">
127617a6 AB	31	<li><a href="cv">CV</a></li>
	32	<li><a href="publications">Publications</a></li>
	33	<li><a href="research-interests">Research interests</a></li>
ef72be3e AB	34	</ul>
ef72be3e AB	35	</nav>
4ad3138c	36	<p>
127617a6 AB	37	I'm a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
	38	at University of Waterloo, supervised by
	39	<a href="https://cs.uwaterloo.ca/~nday/">Dr. Nancy Day</a>.
	40	My research at WatForm focuses on formal logic, model
	41	checking, and verification. See my research interests link
4ad3138c AB	42	above for more details.
4ad3138c AB	43	</p>
9998ccd0	44	</section>
127617a6	45	<h3>Personal</h3>
9998ccd0	46	<section>
ef72be3e AB	47	<nav>
ef72be3e AB	48	<ul id="personal">
127617a6 AB	49	<li><a href="blog">Blog</a></li>
	50	<li><a href="now">Now</a></li>
	51	<li><a href="computing">Computing</a></li>
	52	<li><a href="contact">Contact</a></li>
ef72be3e AB	53	</ul>
ef72be3e AB	54	</nav>
4ad3138c	55	<p>
127617a6 AB	56	I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a>
	57	and <a href="https://www.gnu.org/licenses/copyleft.html">Copyleft</a> activist,
	58	an <a href="https://www.fsf.org/associate/">FSF associate member</a>,
	59	and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>
	60	and volunteer. I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast,
	61	and I'm organizing <a href="https://emacsconf.org/2019/">EmacsConf 2019</a> this fall.
4ad3138c	62	</p>
9998ccd0 AB	63	</section>
9998ccd0 AB	64	</main>
ef72be3e AB	65	</body>
ef72be3e AB	66	</html>