X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/ca00a074941f17e9d5bda7fc5d01c938b629720b..56af22d033482f66966fb7b8edc2bb18f2fec477:/cv.html?ds=inline
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.