X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/35cf61e5ebc8e561d2ec022c1cd938ba226226f9..a98c50cd044a2d649c345ee6c88dba9cc8016b65:/index.m4 diff --git a/index.m4 b/index.m4 index 3767710..1f8246e 100644 --- a/index.m4 +++ b/index.m4 @@ -6,46 +6,46 @@ include(header.html)dnl

Hi, I'm bandali. I am -a free software -activist and a computing scientist. I graduated from the University -of Waterloo with a Master of Mathematics degree -in Computer Science, where I did research in formal logic, model -checking, and verification supervised -by Prof. Nancy Day, with the -main goal of improving software and systems +a free +software activist and a computing scientist. I graduated from the +University of Waterloo with a Master of +Mathematics degree in Computer Science, where I did research in +formal logic, model checking, and verification supervised +by Prof. Nancy Day, with +the main goal of improving software and systems reliability through application of -formal methods. -My research areas of interest include programming languages, proof -assistants, and their type systems.

+formal +methods. My research areas of interest include programming +languages, proof assistants, and their type systems.

-I am currently employed -by Savoir-faire Linux as a -Free Software Consultant, where I get to hack on various parts -of Jami, work with the maintainers of Jami -packages in various GNU/Linux distributions like Debian and Trisquel -to help keep up-to-date the version of Jami available in the official -repositories of those distributions, and generally serve as a +

I am currently employed +by Savoir-faire Linux as +a Free Software Consultant, where I get to hack on various parts +of Jami, work with the maintainers of +Jami packages in various GNU/Linux distributions like Debian and +Trisquel to help keep up-to-date the version of Jami available in the +official repositories of those distributions, and generally serve as a community liaison between the Jami core development team and the wider -free software community around Jami. +free software community around Jami. To be sure, the views or +opinions expressed on this site are solely my own, and do not +necessarily represent those of my employer or anyone else.

-

On the side, I -enjoy hacking -on elisp -and guile. I'm a -GNU maintainer, -webmaster, -and Savannah -hacker; and an associate +

On the side, I enjoy +hacking on +Emacs +Lisp. I'm a GNU +maintainer, +webmaster, +and Savannah +hacker; and an associate member of the Free Software Foundation (FSF). I'm currently the -chief organizer of the EmacsConf -conference, and the co-host of -the Emacs.el podcast with -Daniel Gopar. I am also a member of +chief organizer of the EmacsConf +conference, and the co-host of the +Emacs.el podcast with +Daniel Gopar. I am also a member of the Systems Committee of the -Computer Science Club of the +Computer Science Club of the University of Waterloo.

- -

Starting in spring 2020, I am an intern with the FSF tech team.

@@ -63,7 +63,12 @@ and - + + + +
Internship with the FSF tech team +My internship with the FSF tech team and beyond +(concluding)December 18, 2020
Internship with the FSF tech team (intro) May 29, 2020