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.
SE 465 (Software Testing and Quality Assurance): TA in winter
2020
SE 463 (Software Requirement Specification and Analysis): TA in
spring 2019 and 2018
@@ -252,7 +219,7 @@ spring 2019 and 2018
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 +248,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