X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/505a94190f4aba9404b7c9d95444bfa0a14925ec..a98c50cd044a2d649c345ee6c88dba9cc8016b65:/index.m4?ds=sidebyside
diff --git a/index.m4 b/index.m4
index 54fe7a2..1f8246e 100644
--- a/index.m4
+++ b/index.m4
@@ -1,123 +1,81 @@
dnl -*- html -*-
-define(__title, `Amin Bandali''`s Personal Site')dnl
+define(__title, `Bandali''`s Personal Site')dnl
define(__slug, `home')dnl
define(__nts)dnl
-include(header.html)
- Hi, I'm Amin. I am currently a graduate student at the
-Waterloo Formal Methods
-group at the University of Waterloo, supervised by
-Nancy Day.
-The main goal of my research is
-improving software and systems reliability
-through application of
-formal methods. My research at WatForm focuses on formal logic, model checking, and
-verification. I am also interested in programming languages, proof
-assistants, and their type systems. 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
+reliability through application of
+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
+community liaison between the Jami core development team and the wider
+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 am a
-GNU maintainer,
-webmaster,
-and Savannah
-hacker. I am also a
-free software
-activist, and an associate
-member of the Free Software
-Foundation. I'm 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
+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
the Systems Committee of the
-Computer Science Club of the
+Computer Science Club of the
University of Waterloo. Below are a number of free software projects I have worked on: Here are notes about a variety of topics and issues I care
-about.Papers
-
-
-
-2018 IEEE 8th International Model-Driven Requirements Engineering
-Workshop (MoDRE)
-Copyright © 2018 IEEE. All Rights Reserved. Sadly.
-Talks
-
-
-Projects
-
-
-Notes
-RSS feeds.
My internship with the FSF tech team and beyond +(concluding) | +December 18, 2020 | +
Internship with the FSF tech team +(intro) | +May 29, 2020 | +
How I do my Computing | September 14, 2019 |
Arch GNU/Linux on MacBook Air 2013 | November 1, 2016 | @@ -125,5 +83,6 @@ and