X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/7909a222e5392db059f5523290483349de615009..7808cfc75162b31f8a0a3fa6c462bea40c82d360:/cv.html diff --git a/cv.html b/cv.html index d98a864..6c57ce9 100644 --- a/cv.html +++ b/cv.html @@ -1,63 +1,28 @@ - - - + curriculum vitae — bandali - + + - - +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;}} +

bandali's curriculum vitae

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

Site

bndl.org

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 +73,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

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

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

+file, bandali.bib.

Papers

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 www.gnu.org.; [*]: 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); 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 L^aT_eX