From: Amin Bandali Date: Wed, 31 Jul 2019 00:55:42 +0000 (-0400) Subject: start next iteration of the site, now available at bandalis.org X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/ef72be3ee52390f8929973262b4c1a114c828b04 start next iteration of the site, now available at bandalis.org --- diff --git a/contact.html b/contact.html index b80b4a9..3c5bbf5 100644 --- a/contact.html +++ b/contact.html @@ -1,70 +1,81 @@ - - -Contact - Amin Bandali - - -
-
-

Contact

-

- Email is my preferred method of communication. Feel free to - write to me at any of the addresses listed on either of my - home or gpg - pages. Besides email, you could also try reaching me via -

+ + + + + + bandali's contact info + + + + +
+

bandali's

+

contact info

+
+
+
+

+ email is by far my preferred method of communication. i may + be contacted at bandali at gnu dot org. + if you want to send me gpg-encrypted mail, you can use my + public key with the + fingerprint BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103. +

- - - - - - - - - - - - - - - - - - - -
irc - bandali on - freenode and - moznet -
xmpp - bandali@member.fsf.org -
matrix - @bandali:matrix.org -
fediverse - @bandali@pleroma.site -
+ + + + + + + + + + + + + + + + + + + +
irc + bandali on + freenode and + moznet +
xmpp + bandali@member.fsf.org +
matrix + @bandali:matrix.org +
fediverse + @bandali@pleroma.site +
-

- You can also find me at a few other places online. Stricken - through accounts are those I don’t use anymore, unless - absolutely necessary. -

- -
-
- +

elsewhere

+

+ you may also find me at a few other places online. stricken + through accounts are those i don’t use anymore, unless + absolutely necessary. +

+ + + + + diff --git a/deploy b/deploy index d158857..1aba274 100755 --- a/deploy +++ b/deploy @@ -5,4 +5,4 @@ deploy=amin@shemshak.org rsync --exclude-from='.rsync-exclude' \ --delete \ -avzP \ - ./ ${deploy}:~/www/ + ./ ${deploy}:/var/www/bandalis.org/ diff --git a/gpg.html b/gpg.html deleted file mode 100644 index 6494771..0000000 --- a/gpg.html +++ /dev/null @@ -1,39 +0,0 @@ - - -GPG Key - Amin Bandali - - -
-
-

GPG Key

-

- If you want to send me GPG-encrypted mail, you can use my - current key: -

- 
-pub   rsa4096 2018-10-17 [C] [expires: 2020-10-16]
-      BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103
-uid           [ultimate] Amin Bandali <bandali@gnu.org>
-uid           [ultimate] Amin Bandali <mab@gnu.org>
-uid           [ultimate] Amin Bandali <amin@shemshak.org>
-uid           [ultimate] Amin Bandali <abandali@uwaterloo.ca>
-uid           [ultimate] Amin Bandali <abandali@csclub.uwaterloo.ca>
-sub   rsa4096 2018-10-17 [S] [expires: 2020-10-16]
-      39B3 3C8D 9448 0D2D DCC2  A498 8B44 A0CD C7B9 56F2
-sub   rsa4096 2018-10-17 [E] [expires: 2020-10-16]
-      43ED 5F7C F5EC CBDF 2552  FE98 1D52 D14E BCF3 BE08
-sub   rsa4096 2018-10-17 [A] [expires: 2020-10-16]
-      70FB 9AAD 5240 2841 2B14  8685 4040 DFEC 6EC1 3F3A
-
- -

- You may find other keys with my name on keyservers or around - the internet, but they are either old keys of mine that I no - longer have access to, or not mine at all. -

-
-
- diff --git a/index.html b/index.html index 5914a65..3df0293 100644 --- a/index.html +++ b/index.html @@ -1,139 +1,44 @@ - - -Amin Bandali - - -
-
-

Contact

- - - - - - - - - - - - - - - - - - - - - - -
emailprojects
academicabandali@uwaterloo.cagit.uwaterloo.ca/abandali
personalamin@shemshak.org - shemshak - | - sourcehut -
gnubandali@gnu.org - sv.gnu.org/u/bandali
-

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

-
- -
-

Research interests

-

- The main goal of my research is improving - software reliability - through application of formal methods. -

- -

- My current research at WatForm - focuses on formal logic, model checking, and verification. - Specifically, I am working on various optimizations aiming to - improve the analysis performance of the Alloy Analyzer on - models. -

- -

- I am also interested in programming languages, type systems, and - interactive theorem proving. -

- -

- You may wish to view my academic curriculum vitae. -

-
- -
-

Publications

-
-
- A Comparison of the Declarative Modelling - Languages B, Dash, and TLA+ - (pdf, - bib, - doi, - models) -
-
- Ali Abbassi, Amin Bandali, Nancy A. Day, - and Jose Serna -
-
- 2018 IEEE 8th International Model-Driven Requirements - Engineering Workshop (MoDRE) -
-
- -
- -
-

Presentations

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

Writings

-
-
Will be added soon.
- -
-
- -
-

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. -

-
-
- + + + + + + Amin Bandali's Personal Site + + + + +
+

bandali's

+

corner on the interwebs

+
+
+

academia

+
+ +
+
+
+

personal

+
+ +
+
+ + diff --git a/style.css b/style.css index 511fd6f..e5d2862 100644 --- a/style.css +++ b/style.css @@ -1,41 +1,89 @@ +/* for old browsers */ +article, aside, footer, header, nav, section { + display: block; +} + body { - padding: 1rem 5%; - line-height: 1.45; + font-family: FreeSans, sans-serif; + padding: 1em; +} + +body > header { + margin-bottom: 2em !important; +} +#title { + font-size: 2.1em; + font-weight: normal; + margin-bottom: 0; +} +#title:after { + content: ".org"; + color: #dadada; } -header {text-align: center} -header, section {margin-bottom: 1.7rem} -#sub { +#subtitle { + display: inline; + font-weight: normal; + font-size: 1.2em; color: #444; - font-size: 0.9rem; - position: relative; - top: -0.75rem; -} -main { - min-width: 30rem; - max-width: 50rem; - padding-bottom: 1rem; -} -td {padding: 0 0.25rem} -dl {margin-left: 2.5rem} -#contact {margin-bottom: 0} -code {font-size: 14px} -a:link { - color: #004caa; - text-decoration: none; - border-bottom: 1px solid #ddd; } -a:hover { - background-color: #004caa; - color: #ffffff; + +a { + text-decoration: none; + outline: 0; } -.btable th { + +article h3 { + font-weight: normal; color: #777; - text-align: center; - font-size: 0.9em; +} + +code { + font-size: 1.15em; +} + +table td { + padding: 0 0.3em; +} +table td:first-child { + padding-left: 0; +} +table td:last-child { + padding-right: 0 +} + +nav ul { + list-style-type: none; + padding: 0; +} +nav li { + display: inline; +} +nav li:after { + content: "\00a0\00b7"; +} +nav li:last-child:after { + content: ""; +} + +section { + position: relative; +} +section > h3 { + position: absolute; + right: 75%; + width: 25%; + margin: 0; + padding: 0 1em 0 0; /* 1.75 */ font-weight: normal; + font-size: 1em; + text-align: right; + white-space: nowrap; +} +section > .section, article > .section, body > header { + position: relative; + left: 25%; + width: 50%; + margin: 0; + padding: 0; + max-width: 38em; } -.btable td {padding: 0 0.3rem} -.btable td:first-child {padding-left: 0} -.btable td:last-child {padding-right: 0} -#theses {padding-left: 1rem} -h1, h2, h3, h4, h5 {line-height: 1.15}