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
@@ -308,7 +280,7 @@ catalogs and archives.
-
summer 2015 | Software Developer
+
summer 2015 | Computer Programmer
Designed and implemented various applications in C# and C for
analyzing and testing a satellite pass prediction algorithm for
predicting the pass windows of Argos satellites, for scheduling send
@@ -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.