X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/ff620ce6ac85cf10600b3da9a640f6ebc3568444..52fed0e285394eafb77a715ec005da0254e31a13:/index.html?ds=inline diff --git a/index.html b/index.html index e51bf90..1888e27 100644 --- a/index.html +++ b/index.html @@ -1,151 +1,80 @@ - - - - Amin Bandali's Personal Site - - - - - -
-

Amin Bandali

-
-

- Hi, I’m - Amin Bandali. - I’m a graduate student at WatForm - at University of Waterloo, supervised by - Dr. Nancy Day. - The main goal of my research is improving - software and systems reliability - through application of formal methods. -

+ + + + +bandali's personal site + + + + + + + + +

bandali's personal site

+ -

- My research at WatForm focuses on formal logic, model - checking, and verification. I’m also interested in - programming languages, theorem provers, and their type - systems. You may wish to view my - academic curriculum vitae. -

+

I am a free +software activist and computing +scientist. I'm a GNU maintainer +of Jami +and GNU IceCat. +I also wear a few other hats around GNU, including helping run the +Savannah forge for GNU and non-GNU software as a Savannah hacker, and +serving as an assistant GNUisance.

-

- SE 212 students: - see here for slides and other - material from the tutorials. -

+

notes

+

Here are notes and writings about topics or issues I care about, +which you can also read via Atom +or RSS feeds.

-

- On the side, I dabble in Lean - and enjoy hacking on - Elisp. - I’m a Free Software activist - and FSF supporter, and a GNU maintainer - and webmaster. - I co-host the Emacs.el podcast with - Daniel Gopar, and - organize EmacsConf with - help from many wonderful people. +

- I am also a member of the Systems Committee for the - Computer Science Club - of the University of Waterloo. -

- -

- See my contact page for how to - best reach me. -

-
- -

Papers

-
-
- A Comparison of the Declarative Modelling Languages B, - Dash, and TLA+ - - [ - pdf - | - bib - ] - -
-
- Ali Abbassi, - Amin Bandali, - Nancy A. Day, - and Jose Serna
- 2018 IEEE 8th International Model-Driven Requirements - Engineering Workshop (MoDRE)
- Copyright © 2018 IEEE. All Rights Reserved. Sadly. -
-
- -

Talks

-
-
- The Magic of Specifications and Type Systems - - [ - slides - | - poster - ] - -
-
- Amin Bandali, - Simon Hudon, - Jonathan Ostroff -
-
- -

Projects

-

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

-
-
george-mode
-
Emacs major mode for editing George files
- -
alloy-catalyst
-
Framework for performance analysis of Alloy models
- -
unitb-web
-
Web interface for Unit-B
- -
tex2png-hs
-
Library and CLI for converting TeX and LaTeX to PNG images
-
- -

Notes

- -
- - +
+
+Copyright © 2012–2021 bandali +

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.

+
+