X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/faa724fc144f3bfb66e141741afa028779c88468..3fdab855a4dd23026c0320dbb01a58acbfd7c728:/index.m4 diff --git a/index.m4 b/index.m4 index 9fdad21..2459b42 100644 --- a/index.m4 +++ b/index.m4 @@ -1,12 +1,13 @@ 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) +include(header.html)dnl +
-

Hi, I'm Amin. I am currently a graduate student at the -Waterloo Formal Methods -group at the University of Waterloo, supervised by +

Hi, I'm bandali. I am 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 @@ -35,13 +36,14 @@ 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 -University of Waterloo.

+University of Waterloo, and an intern with the FSF tech team starting +in spring 2020.

Papers

-
A Comparison of the Declarative Modelling Languages B, DASH, and +
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ [ pdf @@ -50,7 +52,7 @@ TLA+
-Ali Abbassi, Amin Bandali, +Ali Abbassi, Amin Bandali, Nancy A. Day, Jose Serna
2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)
@@ -74,7 +76,7 @@ York University, Toronto, Canada, August 15, 2017">poster
-Amin Bandali, +Amin Bandali, Simon Hudon, Jonathan S. Ostroff
@@ -83,12 +85,15 @@ York University, Toronto, Canada, August 15, 2017">poster

Projects

-

Below are a number of free software projects I have worked on:

+

Here are some of my recent free software projects:

-
george-mode
+
refinery-theme
+
A refined, minimalist, layered colour theme for GNU Emacs
+ +
george-mode
Emacs major mode for editing George files
-
alloy-catalyst
+
alloy-catalyst
Framework for performance analysis of Alloy models
unitb-web
@@ -115,6 +120,11 @@ and + + + + @@ -125,5 +135,6 @@ and
Internship with the FSF tech team +(intro)May 29, 2020
How I do my Computing September 14, 2019
-define(__copy, `2016–2019')dnl -include(footer.html) + +define(__copy, `2016–2020')dnl +include(footer.html)dnl