mmath: add thesis pdf and source ball (through git-annex)
[~bandali/bndl.org] / cv.html
diff --git a/cv.html b/cv.html
index 3172972..6c57ce9 100644 (file)
--- a/cv.html
+++ b/cv.html
@@ -1,63 +1,28 @@
-<!doctype html>
-<html lang="en">
-<head>
+<!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>curriculum vitae &mdash; bandali</title>
-<link rel="canonical" href="https://bndl.org/cv.html" />
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/cv" />
 <link rel="alternate" href="bandali-cv.txt" title="plain text" type="text/plain" />
-<link rel="alternate" href="https://p.bndl.org/bandali-cv.pdf" title="pdf" type="application/pdf" />
 <style>
-body {
-  line-height: 1.6;
-  max-width: 37.5em;
-  margin: 0 auto;
-  padding: 0 1em;
-}
-.tex {
-  font-family: "Tex Gyre Termes", serif;
-  text-transform: uppercase;
-}
-.tex span {
-  font-size: 0.75em;
-  margin-left: -0.05em;
-  margin-right: -0.20em;
-}
-.tex sub {
-  font-size: 1em;
-  margin-left: -0.1667em;
-  margin-right: -0.125em;
-  vertical-align: -0.5ex;
-}
-.tex sup {
-  font-size: 0.85em;
-  margin-left: -0.36em;
-  margin-right: -0.15em;
-  vertical-align: 0.15em;
-}
-.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;
-}
-#link-grid dd { margin-left: 0; }
-@media (prefers-color-scheme: dark) {
-  body { background: #1c1c1c; color: white; }
-  a:link { color: #acdeff; }
-  a:visited { color: #f8f; }
-  a:active { color: #e00; }
-  .box { background: #1b1d1e; border-color: #373c34; }
-}
-</style>
-</head>
+body{line-height:1.6;padding:0 2em;}p,ul,dt,dd{max-width:37.5em}
+.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;}
+#link-grid dd{margin-left:0}
+.tex{font-family:"Tex Gyre Termes",serif;text-transform:uppercase;}
+.tex span{font-size:0.75em;margin-left:-0.05em;margin-right:-0.20em;}
+.tex sub{font-size:1em;margin-left:-0.1667em;margin-right:-0.125em;
+vertical-align:-0.5ex;}.tex sup{font-size:0.85em;margin-left:-0.36em;
+margin-right:-0.15em;vertical-align:0.15em;}
+#copy,#license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
 <body>
 <h1><a href=".">bandali</a>'s curriculum vitae</h1>
 
@@ -68,9 +33,11 @@ as <a href="bandali-cv.txt">bandali-cv.txt</a></p>
 <dt>Site</dt>
 <dd><a href="https://bndl.org">bndl.org</a></dd>
 <dt>Email</dt>
-<dd>bandali@gnu.org</dd>
+<dd>bandali@gnu.org<br />bandali@uwaterloo.ca</dd>
 <dt>Phone</dt>
 <dd>available upon request via email</dd>
+<dt>Last update</dt>
+<dd>November 1, 2021</dd>
 </dl>
 
 <h2>Summary of Qualifications</h2>
@@ -106,24 +73,24 @@ Modelling Languages</a></dd>
 A. Day</a></dd>
 <dd>GPA: 3.7/4.0</dd>
 
-<dt>Bachelor of Science with Honours in Computer Science, York
-University, 2017</dt>
-<dd>Favourite courses: System Specification &amp; Refinement, Software
-Requirements Engineering, Software Design, Operating Systems,
-Computational Complexity, Design &amp; Analysis of Algorithms</dd>
+<dt>Bachelor of Science with Honours in Computer Science,
+York University, 2017</dt>
+<dd>Favourite courses: System Specification &amp; Refinement,
+Software Requirements Engineering, Software Design, Operating Systems,
+Computational Complexity, Design&nbsp;&amp;&nbsp;Analysis
+of Algorithms</dd>
 <dd>GPA: 7.84/9.0</dd>
 </dl>
 
 <h2 id="research">Research Interests</h2>
 
-formal logic, model checking, theorem proving, verification
+<p>formal logic, model checking, theorem proving, verification</p>
 
-<h2 id="publications">Publications &amp; Presentations</h2>
+<h2>Publications &amp; Presentations</h2>
 
-<p>The complete bibliography of my publications is available as
-a <a href="bandali.bib">bandali.bib</a>
+<p>The complete bibliography of my publications is available as a
 <span class="tex">B<span>ib</span>T<sub>e</sub>X</span> bibliography
-file.</p>
+file, <a href="bandali.bib">bandali.bib</a>.</p>
 
 <h3>Papers</h3>
 
@@ -152,7 +119,7 @@ Languages
 <small>
 [ <a href="https://p.bndl.org/bandali-mmath-thesis.pdf">pdf</a>
 | <a href="https://hdl.handle.net/10012/16059">hdl</a>
-| <a href="https://bndl.org/mmath.html">http</a>
+| <a href="https://bndl.org/mmath">http</a>
 ]
 </small>
 </dt>
@@ -172,7 +139,7 @@ July 2020.</em>
 [ <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
 notes</a>)
-| <a href="https://bndl.org/libreplanet-2021.html">http</a>
+| <a href="https://bndl.org/2020/03/20/libreplanet-2021">http</a>
 ]
 </small>
 </dt>
@@ -217,7 +184,7 @@ logiciel libre</dd>
 <dl>
 <dd>I am part of the Jami core development team at Savoir-faire Linux,
 where I work on various parts of Jami as a Free Software Consultant.
-These include working on and maintaining the GTK+-based jami-gnome
+These include working on and maintaining the GTK-based jami-gnome
 client application written in C++ and C, and packaging Jami for
 various GNU/Linux distributions and other platforms.  I also serve as
 a community liaison between the Jami core team and the wider free
@@ -244,7 +211,7 @@ 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>
-<dd>SE 212 (Logic and Computation): <a href="se212-f19.html">IA in
+<dd>SE 212 (Logic and Computation): <a href="se212-f19">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>
@@ -252,7 +219,7 @@ spring 2019 and 2018</dd>
 winter 2018</dd>
 </dl>
 </dd>
-<dd><small>[*]: Teaching Assistant (marking exams and assignments),
+<dd><small>[*] Teaching Assistant (marking exams and assignments),
 Instructional Apprentice (holding tutorials and marking), Research
 Assistant (doing research for/with supervisor)</small></dd>
 
@@ -281,10 +248,10 @@ arbitrarily large rational numbers.</dd>
 <dd>
 <dl>
 <dt>summer 2016 | Research Student</dt>
-<dd>Worked on <em>Literate Unit-B</em>, the verifier for Unit-B, a
-new formal method focused on formal verification of reactive,
-concurrent and distributed systems.  From the Literate Unit-B codebase
-(written in Haskell), decoupled the logic module and used it to build
+<dd>Worked on <em>Literate Unit-B</em>, the verifier for Unit-B, a new
+formal method focused on formal verification of reactive, concurrent,
+and distributed systems.  From the Literate Unit-B codebase (written
+in Haskell), decoupled the logic module and used it to build
 <em>Unit-B Web</em>, a web interface using Literate Unit-B to do
 predicate calculus proofs.  Unit-B Web, also written in Haskell,
 supports the <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span>
@@ -308,7 +275,7 @@ catalogs and archives.</dd>
 </dd>
 <dd>
 <dl>
-<dt>summer 2015 | Software Developer</dt>
+<dt>summer 2015 | Computer Programmer</dt>
 <dd>Designed and implemented various applications in C# and C for
 analyzing and testing a satellite pass prediction algorithm for
 predicting the pass windows of Argos satellites, for scheduling send