[~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</h1>
        <h2 id="subtitle">my corner of 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">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>
        <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>
  </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>
9998ccd0 AB	15	<header>
ea846b41 AB	16	<h1 id="title">bandali</h1>
ea846b41 AB	17	<h2 id="subtitle">my corner of the interwebs</h2>
9998ccd0	18	</header>
4ad3138c AB	19	<section>
4ad3138c AB	20	<p>
1c986cd7	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>
127617a6 AB	32	<li><a href="publications">Publications</a></li>
cc996fd2	33	<li><a href="research">Research interests</a></li>
ef72be3e AB	34	</ul>
ef72be3e AB	35	</nav>
4ad3138c	36	<p>
1c986cd7	37	I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
127617a6 AB	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,
1c986cd7	61	and I’m organizing <a href="https://emacsconf.org/2019/">EmacsConf 2019</a> this fall.
4ad3138c	62	</p>
46e00845 AB	63	<p>
	64	On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
	65	and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
	66	<a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
	67	</p>
9998ccd0 AB	68	</section>
9998ccd0 AB	69	</main>
ef72be3e AB	70	</body>
ef72be3e AB	71	</html>