X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ca00a074941f17e9d5bda7fc5d01c938b629720b..HEAD:/cv.html diff --git a/cv.html b/cv.html index 9c4c548..26922b2 100644 --- a/cv.html +++ b/cv.html @@ -99,7 +99,8 @@ file, bandali.bib.

A Comparison of the Declarative Modelling Languages B, DASH, and TLA+ -[ pdf +[ pdf +| bib | models ] @@ -118,9 +119,10 @@ Copyright © 2018 IEEE. All Rights Reserved. Sadly.
A Comprehensive Study of Declarative Modelling Languages -[ pdf +[ pdf +| bib | hdl -| http +| http ]
@@ -137,10 +139,11 @@ July 2020.
Jami and how it empowers users -[ pdf -(with +[ pdf +(with notes) -| http +| bib +| http ]
@@ -212,8 +215,9 @@ for www.gnu.org.
SE 465 (Software Testing and Quality Assurance): TA in winter 2020
-
SE 212 (Logic and Computation): IA in -Fall 2019, TA in fall 2018
+
SE 212 (Logic and Computation): +IA in Fall 2019, TA in fall +2018
SE 463 (Software Requirement Specification and Analysis): TA in spring 2019 and 2018
CS 136 (Elementary Algorithm Design and Data Abstraction): TA in @@ -333,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.
Notable projects -include launching +include launching the CSC web IRC client as part of an effort in bringing modern user freedom- and privacy-respecting communication tools to club members.