-<!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 — bandali</title>
+<link rel="icon" href="data:,">
<link rel="canonical" href="https://bndl.org/cv.html" />
<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{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;}
+#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>
<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>
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 & Refinement, Software
-Requirements Engineering, Software Design, Operating Systems,
-Computational Complexity, Design & Analysis of Algorithms</dd>
+<dt>Bachelor of Science with Honours in Computer Science,
+York University, 2017</dt>
+<dd>Favourite courses: System Specification & Refinement,
+Software Requirements Engineering, Software Design, Operating Systems,
+Computational Complexity, Design & 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 & Presentations</h2>
+<h2>Publications & 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>
<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>
<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://bndl.org/mmath.html">http</a>
+| <a href="theses/mmath.html">http</a>
]
</small>
</dt>
<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>)
-| <a href="https://bndl.org/libreplanet-2021.html">http</a>
+| <a href="talks/libreplanet-2021-jami.bib">bib</a>
+| <a href="talks/libreplanet-2021-jami.html">http</a>
]
</small>
</dt>
<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
<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
-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
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>
<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>
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>
projects / ~bandali / bndl.org / blobdiff