X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/7909a222e5392db059f5523290483349de615009..HEAD:/cv.html?ds=sidebyside diff --git a/cv.html b/cv.html index d98a864..26922b2 100644 --- a/cv.html +++ b/cv.html @@ -1,63 +1,29 @@ - - - + curriculum vitae — bandali + - - +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;}} +

bandali's curriculum vitae

@@ -68,9 +34,11 @@ as bandali-cv.txt

Site
bndl.org
Email
-
bandali@gnu.org
+
bandali@gnu.org
bandali@uwaterloo.ca
Phone
available upon request via email
+
Last update
+
November 1, 2021

Summary of Qualifications

@@ -106,24 +74,24 @@ Modelling Languages A. Day
GPA: 3.7/4.0
-
Bachelor of Science with Honours in Computer Science, York -University, 2017
-
Favourite courses: System Specification & Refinement, Software -Requirements Engineering, Software Design, Operating Systems, -Computational Complexity, Design & Analysis of Algorithms
+
Bachelor of Science with Honours in Computer Science, +York University, 2017
+
Favourite courses: System Specification & Refinement, +Software Requirements Engineering, Software Design, Operating Systems, +Computational Complexity, Design & Analysis +of Algorithms
GPA: 7.84/9.0

Research Interests

-formal logic, model checking, theorem proving, verification +

formal logic, model checking, theorem proving, verification

-

Publications & Presentations

+

Publications & Presentations

-

The complete bibliography of my publications is available as -a bandali.bib +

The complete bibliography of my publications is available as a BibTeX bibliography -file.

+file, bandali.bib.

Papers

@@ -131,7 +99,8 @@ file.

A Comparison of the Declarative Modelling Languages B, DASH, and TLA+ -[ pdf +[ pdf +| bib | models ] @@ -150,9 +119,10 @@ Copyright © 2018 IEEE. All Rights Reserved. Sadly.
A Comprehensive Study of Declarative Modelling Languages -[ pdf +[ pdf +| bib | hdl -| http +| http ]
@@ -169,10 +139,11 @@ July 2020.
Jami and how it empowers users -[ pdf -(with +[ pdf +(with notes) -| http +| bib +| http ]
@@ -217,7 +188,7 @@ logiciel libre
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,15 +215,16 @@ 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 winter 2018
-
[*]: Teaching Assistant (marking exams and assignments), +
[*] Teaching Assistant (marking exams and assignments), Instructional Apprentice (holding tutorials and marking), Research Assistant (doing research for/with supervisor)
@@ -281,10 +253,10 @@ arbitrarily large rational numbers.
summer 2016 | Research Student
-
Worked on Literate Unit-B, 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 +
Worked on Literate Unit-B, 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 Unit-B Web, a web interface using Literate Unit-B to do predicate calculus proofs. Unit-B Web, also written in Haskell, supports the LaTeX @@ -365,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.