[~bandali/bndl.org] / now.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 Now</title>
    <meta
      name="description"
      content="Amin Bandali's Now page" />
    <link rel="stylesheet" href="/style.css" />
  </head>
  <body>
    <main>
      <header>
        <h1 id="title"><a href="/">bandali</a></h1>
        <h2 id="subtitle">What I’m doing now</h2>
      </header>
      <section>
        <p>
          This is my <a href="https://nownownow.com/about">now page</a>.
        </p>

        <p>
          I’m currently a graduate student at the
          <a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
          group at University of Waterloo.  I have finished my
          coursework requirements and am currently writing my thesis.
          Additionally, I will be an IA for
          <a href="https://www.student.cs.uwaterloo.ca/~se212/">SE
          212: Logic and Computation</a> this Fall, and might end up
          posting related material over on my
          <a href="/se212-f19">se212-f19</a> page.
        </p>

        <p>
          In my spare time, my main focus currently is organizing
          <a href="https://emacsconf.org/2019/">EmacsConf&nbsp;2019</a>.
          More generally, I enjoying writing
          <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>,
          and tending to various tasks as a
          <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>.
          I’ve also been picking up the guitar lately.
        </p>

        <p>
          This update was on August 29, 2019.
        </p>
      </section>
    </main>
  </body>
</html>
Commit	Line	Data
e30d4988 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 Now</title>
	7	<meta
	8	name="description"
	9	content="Amin Bandali's Now page" />
	10	<link rel="stylesheet" href="/style.css" />
	11	</head>
	12	<body>
	13	<main>
	14	<header>
	15	<h1 id="title"><a href="/">bandali</a></h1>
	16	<h2 id="subtitle">What I’m doing now</h2>
	17	</header>
	18	<section>
	19	<p>
	20	This is my <a href="https://nownownow.com/about">now page</a>.
	21	</p>
	22
	23	<p>
	24	I’m currently a graduate student at the
	25	<a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
	26	group at University of Waterloo. I have finished my
	27	coursework requirements and am currently writing my thesis.
	28	Additionally, I will be an IA for
	29	<a href="https://www.student.cs.uwaterloo.ca/~se212/">SE
	30	212: Logic and Computation</a> this Fall, and might end up
	31	posting related material over on my
	32	<a href="/se212-f19">se212-f19</a> page.
	33	</p>
	34
	35	<p>
	36	In my spare time, my main focus currently is organizing
	37	<a href="https://emacsconf.org/2019/">EmacsConf 2019</a>.
	38	More generally, I enjoying writing
	39	<a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>,
	40	and tending to various tasks as a
	41	<a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>.
	42	I’ve also been picking up the guitar lately.
	43	</p>
	44
	45	<p>
	46	This update was on August 29, 2019.
	47	</p>
	48	</section>
	49	</main>
	50	</body>
	51	</html>