X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/6c3ca0bae8e697ac12937fe2975cff4229dbf7b0..75f48cba64ee470ae5a537c88f2e1d76a7ec27ba:/index.html?ds=sidebyside diff --git a/index.html b/index.html index fb82602..5914a65 100644 --- a/index.html +++ b/index.html @@ -1,12 +1,12 @@ - + Amin Bandali - +

Contact

@@ -14,26 +14,34 @@ - academic - personal + email + projects - email + academic abandali@uwaterloo.ca - bandali@gnu.org - (gpg) + git.uwaterloo.ca/abandali - git repos - git.uwaterloo.ca/abandali - git.sr.ht/~bandali + personal + amin@shemshak.org + + shemshak + | + sourcehut + - other means - see contact page + gnu + bandali@gnu.org + sv.gnu.org/u/bandali +

+ See my contact and + gpg pages for more details. +

@@ -57,15 +65,6 @@ interactive theorem proving.

-

- On the side, I dabble in Lean - and enjoy hacking on - Emacs Lisp. - I’m also a free software - and copyleft - advocate, and a volunteer webmaster for the GNU project. -

-

You may wish to view my academic curriculum vitae.

@@ -98,23 +97,21 @@

Presentations

- The Magic of Specifications and Type - Systems + The Magic of Specifications and Type Systems
-
Amin Bandali, Simon Hudon, - Jonathan Ostroff +
+ Amin Bandali, Simon Hudon, Jonathan Ostroff
Slides presented at - - CUCSC 2017, University of Toronto, Canada, June - 15-17, 2017. + CUCSC 2017, + University of Toronto, Canada, June 15-17, 2017. +
+
+ Poster presented at + Lassonde USSR Conference, + York University, Toronto, Canada, August 15, 2017.
-
Poster - presented at - - Lassonde USSR Conference, York University, Toronto, Canada, - August 15, 2017.
@@ -125,5 +122,18 @@ + +
+

Other interests

+

+ On the side, I dabble in Lean + and enjoy hacking on + Emacs Lisp. + I’m also a free software + and copyleft + activist, a volunteer webmaster + for the GNU project, and a co-host of the Emacs.el podcast. +

+
- +