git.shemshak.org - ~bandali/bndl.org/blame_incremental

... / ...

Commit	Line	Data
	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>
	14	<main>
	15	<header>
	16	<h1 id="title">bandali</h1>
	17	<h2 id="subtitle">my corner of the interwebs</h2>
	18	</header>
	19	<section>
	20	<p>
	21	Hi, I’m
	22	<a href="images/bandali-with-rms.jpg"
	23	title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
	24	often just <code>bandali</code> around the web.
	25	</p>
	26	</section>
	27	<h3>Academia</h3>
	28	<section>
	29	<nav>
	30	<ul id="academia">
	31	<li><a href="cv">CV</a></li>
	32	<li><a href="publications">Publications</a></li>
	33	<li><a href="research">Research interests</a></li>
	34	</ul>
	35	</nav>
	36	<p>
	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
	42	above for more details.
	43	</p>
	44	</section>
	45	<h3>Personal</h3>
	46	<section>
	47	<nav>
	48	<ul id="personal">
	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>
	53	</ul>
	54	</nav>
	55	<p>
	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.
	62	</p>
	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>
	68	</section>
	69	</main>
	70	</body>
	71	</html>