- Hi, I'm
- Amin Bandali,
- often just bandali around the web.
-
-
-
Academia
-
-
-
- I'm a graduate student at WatForm
- at University of Waterloo, supervised by
- Dr. Nancy Day.
- My research at WatForm focuses on formal logic, model
- checking, and verification. See my research interests link
- above for more details.
-
-
-
-
+
+
+
+
+bandali's personal site
+
+
+
+
+
+
+
+
+
bandali's personal site
+
+
+
I am a
+free/libre
+software activist and a computing scientist. I'm a GNU maintainer
+of Jami
+and GNU IceCat,
+and wear a
+few other hats around GNU as well: Savannah hacker/admin,
+assistant GNUisance, GNU webmaster, etc.
+
+
notes
+
Here are notes about topics or issues I care about:
Copying and distribution of this file, with or without
+modification, are permitted in any medium without royalty provided the
+copyright notice and this notice are preserved. This file is offered
+as-is, without any warranty.