X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/505a94190f4aba9404b7c9d95444bfa0a14925ec..28e5c31273051174452dcc1be343ea10dd7eb8f6:/index.m4 diff --git a/index.m4 b/index.m4 index 54fe7a2..43531d0 100644 --- a/index.m4 +++ b/index.m4 @@ -2,7 +2,8 @@ dnl -*- html -*- define(__title, `Amin 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 @@ -11,7 +12,8 @@ group at the University of Waterloo, supervised by The main goal of my research is improving software and systems reliability through application of -formal methods.

+formal +methods.

My research at WatForm focuses on formal logic, model checking, and verification. I am also interested in programming languages, proof @@ -43,8 +45,8 @@ University of Waterloo.

A Comparison of the Declarative Modelling Languages B, DASH, and TLA+ -[ pdf -| bib +[ pdf +| bib ]
@@ -63,10 +65,10 @@ Copyright © 2018 IEEE. All Rights Reserved. Sadly.
The Magic of Specifications and Type Systems -[ slides -| poster ] @@ -82,12 +84,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
@@ -101,15 +106,15 @@ York University, Toronto, Canada, August 15, 2017">poster

Notes

Here are notes about a variety of topics and issues I care -about.

+subscribe to RSS feedRSS feeds.

@@ -117,7 +122,6 @@ and - @@ -125,5 +129,6 @@ and
How I do my Computing September 14, 2019
Arch GNU/Linux on MacBook Air 2013 November 1, 2016
+ define(__copy, `2016–2019')dnl -include(footer.html) +include(footer.html)dnl