Amin Bandali
- ------------------------------------------
- site: https://bndl.org
- email: bandali@gnu.org
- bandali@uwaterloo.ca
- phone: available upon request via email
+ ----------------------------------------------------
+ site: https://kelar.org/~bandali
+ email: bandali@kelar.org
+ bandali@gnu.org
+ bandali@uwaterloo.ca
+ phone: available upon request via email
- this file: https://bndl.org/bandali-cv.txt
- last update: 2021-10-30
- ------------------------------------------
+ this file: https://kelar.org/~bandali/bandali-cv.txt
+ last update: 2021-10-30
+ ----------------------------------------------------
SUMMARY OF QUALIFICATIONS
PUBLICATIONS & PRESENTATIONS
- The complete bibliography of my publications is available as
- a BibTeX bibliography file from https://bndl.org/bandali.bib.
+ The complete bibliography of my publications is available
+ as a BibTeX bibliography file from
+ https://kelar.org/~bandali/bandali.bib.
PAPERS
MMath Thesis, University of Waterloo, David R. Cheriton
School of Computer Science, July 2020.
- pdf: https://p.bndl.org/bandali-mmath-thesis.pdf
+ pdf: https://kelar.org/~bandali/mmath/bandali-mmath-thesis.pdf
hdl: https://hdl.handle.net/10012/16059
- http: https://bndl.org/mmath
+ http: https://kelar.org/~bandali/mmath/
TALKS
slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
slides with notes:
https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
- http: https://bndl.org/libreplanet-2021
+ http: https://kelar.org/~bandali/2021/03/20/libreplanet-2021
The Magic of Specifications and Type Systems
<dl id="link-grid">
<dt>Site</dt>
-<dd><a href="https://bndl.org">bndl.org</a></dd>
+<dd><a href="https://kelar.org/~bandali/">kelar.org/~bandali</a></dd>
<dt>Email</dt>
-<dd>bandali@gnu.org<br />bandali@uwaterloo.ca</dd>
+<dd>bandali@kelar.org<br />bandali@gnu.org<br />bandali@uwaterloo.ca</dd>
<dt>Phone</dt>
<dd>available upon request via email</dd>
<dt>Last update</dt>
+++ /dev/null
-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>SE 212 Material — bandali</title>
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- padding: 0 2em;
-}
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1>Material from SE 212 tutorials</h1>
-
-<p>This page contains slides and other material from
-<a href="https://www.student.cs.uwaterloo.ca/~se212/times.html">SE 212
-tutorials</a> held by <a href="https://bndl.org">me</a> in Fall 2019.
-<del>If you have any questions, concerns, or suggestions about the
-presented material, please email me at bandali@uwaterloo.ca or come
-see me during
-my <a href="https://www.student.cs.uwaterloo.ca/~se212/personnel.html">Friday
-office hours</a>.</del></p>
-
-<ul>
-<li>Tutorial 1:
-<ul>
-<li><a href="https://p.bndl.org/se212-t01-101.pdf">TUT 101 slides</a></li>
-<li><a href="https://p.bndl.org/se212-t01-102.pdf">TUT 102 slides</a></li>
-<li><a href="https://p.bndl.org/se212-t01.org">Org beamer sources</a></li>
-</ul>
-</li>
-<li>Tutorial 2:
-<ul>
-<li><a href="https://p.bndl.org/se212-h02q04d-soln.grg">Homework 2
-q04d solution</a></li>
-</ul>
-</li>
-<li>Tutorial 3: —</li>
-<li>Tutorial 4: —</li>
-<li>Tutorial 5:
-<ul>
-<li><a href="https://p.bndl.org/se212-t05.pdf">Slides</a></li>
-<li><a href="https://p.bndl.org/se212-t05.org">Org beamer sources</a></li>
-</ul>
-</li>
-<li>Tutorial 6: —</li>
-<li>Tutorial 7: worked through questions 1–5 of Homework 7</li>
-<li>Tutorial 8: —</li><li>Tutorial 9: —</li>
-<li>Tutorial 10: worked through questions 1–10 of Homework 10</li>
-</ul>
-</body>
-</html>
projects / ~bandali / bndl.org / commitdiff