fa: typo fix
[~bandali/bndl.org] / cv.html
diff --git a/cv.html b/cv.html
index 29a2bef..26922b2 100644 (file)
--- a/cv.html
+++ b/cv.html
@@ -4,10 +4,11 @@
 <meta name="viewport" content="width=device-width, initial-scale=1" />
 <title>curriculum vitae &mdash; bandali</title>
 <link rel="icon" href="data:,">
 <meta name="viewport" content="width=device-width, initial-scale=1" />
 <title>curriculum vitae &mdash; bandali</title>
 <link rel="icon" href="data:,">
-<link rel="canonical" href="https://bndl.org/cv" />
+<link rel="canonical" href="https://bndl.org/cv.html" />
 <link rel="alternate" href="bandali-cv.txt" title="plain text" type="text/plain" />
 <style>
 <link rel="alternate" href="bandali-cv.txt" title="plain text" type="text/plain" />
 <style>
-body{line-height:1.6;padding:0 2em;}p,ul,dt,dd{max-width:37.5em}
+body{margin:0 auto;max-width:37.5em;}p,li,dt,dd{line-height:1.6}
+h1{font-size:1.5em}h2{font-size:1.3em}h3{font-size:1.1em}
 .box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
 font-size:0.95em;padding:0.6em 0.9em;}
 #link-grid{display:grid;grid:none / auto 1fr;gap:0.2em 1em;}
 .box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
 font-size:0.95em;padding:0.6em 0.9em;}
 #link-grid{display:grid;grid:none / auto 1fr;gap:0.2em 1em;}
@@ -98,7 +99,8 @@ file, <a href="bandali.bib">bandali.bib</a>.</p>
 <dt>A Comparison of the Declarative Modelling Languages B, DASH, and
 TLA<sup>+</sup>
 <small>
 <dt>A Comparison of the Declarative Modelling Languages B, DASH, and
 TLA<sup>+</sup>
 <small>
-[ <a href="https://p.bndl.org/modre2018-declarative.pdf">pdf</a>
+[ <a href="papers/modre2018-declarative.pdf">pdf</a>
+| <a href="papers/modre2018-declarative.bib">bib</a>
 | <a href="https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/">models</a>
 ]
 </small>
 | <a href="https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/">models</a>
 ]
 </small>
@@ -117,9 +119,10 @@ Copyright &copy; 2018 IEEE.  All Rights Reserved.  Sadly.
 <dt id="mmath">A Comprehensive Study of Declarative Modelling
 Languages
 <small>
 <dt id="mmath">A Comprehensive Study of Declarative Modelling
 Languages
 <small>
-[ <a href="https://p.bndl.org/bandali-mmath-thesis.pdf">pdf</a>
+[ <a href="theses/bandali-mmath-thesis.pdf">pdf</a>
+| <a href="theses/bandali-mmath-thesis.bib">bib</a>
 | <a href="https://hdl.handle.net/10012/16059">hdl</a>
 | <a href="https://hdl.handle.net/10012/16059">hdl</a>
-| <a href="https://bndl.org/mmath">http</a>
+| <a href="theses/mmath.html">http</a>
 ]
 </small>
 </dt>
 ]
 </small>
 </dt>
@@ -136,10 +139,11 @@ July 2020.</em>
 <dl>
 <dt>Jami and how it empowers users
 <small>
 <dl>
 <dt>Jami and how it empowers users
 <small>
-[ <a href="https://p.bndl.org/bandali-jami-libreplanet-2021.pdf">pdf</a>
-(<a href="https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf">with
+[ <a href="talks/libreplanet-2021-jami.pdf">pdf</a>
+(<a href="talks/libreplanet-2021-jami-with-notes.pdf">with
 notes</a>)
 notes</a>)
-| <a href="2021/03/20/libreplanet-2021">http</a>
+| <a href="talks/libreplanet-2021-jami.bib">bib</a>
+| <a href="talks/libreplanet-2021-jami.html">http</a>
 ]
 </small>
 </dt>
 ]
 </small>
 </dt>
@@ -211,8 +215,9 @@ for <a href="https://www.gnu.org">www.gnu.org</a>.</dd>
 <dl>
 <dd>SE 465 (Software Testing and Quality Assurance): TA in winter
 2020</dd>
 <dl>
 <dd>SE 465 (Software Testing and Quality Assurance): TA in winter
 2020</dd>
-<dd>SE 212 (Logic and Computation): <a href="se212-f19">IA in
-Fall 2019</a>, TA in fall 2018</dd>
+<dd>SE 212 (Logic and Computation):
+<a href="teaching/se212-f19.html">IA in Fall 2019</a>, TA in fall
+2018</dd>
 <dd>SE 463 (Software Requirement Specification and Analysis): TA in
 spring 2019 and 2018</dd>
 <dd>CS 136 (Elementary Algorithm Design and Data Abstraction): TA in
 <dd>SE 463 (Software Requirement Specification and Analysis): TA in
 spring 2019 and 2018</dd>
 <dd>CS 136 (Elementary Algorithm Design and Data Abstraction): TA in
@@ -332,7 +337,7 @@ Present member of the CSC Systems Committee, overseeing and
 maintaining a large fleet of GNU/Linux servers for CSC members, as
 well as running the CSC mirror for free software projects.</dd>
 <dd>Notable projects
 maintaining a large fleet of GNU/Linux servers for CSC members, as
 well as running the CSC mirror for free software projects.</dd>
 <dd>Notable projects
-include <a href="https://mailman.csclub.uwaterloo.ca/pipermail/csc-general/2020-July/000837.html">launching
+include <a href="https://mailman.csclub.uwaterloo.ca/hyperkitty/list/csc-general@csclub.uwaterloo.ca/message/ZOFF6Y23T6WLG3ZKB2CKLY3YCMB5LHWK/">launching
 the CSC web IRC client</a> as part of an effort in bringing modern
 user freedom- and privacy-respecting communication tools to club
 members.</dd>
 the CSC web IRC client</a> as part of an effort in bringing modern
 user freedom- and privacy-respecting communication tools to club
 members.</dd>