projects / ~bandali / cv / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
~bandali/cv
2017-08-30 Amin BandaliUpdate research interests and conference presentations commit | commitdiff | tree | snapshot (tar.gz zip)
2017-06-25 Amin BandaliBreak some long lines commit | commitdiff | tree | snapshot (tar.gz zip)
2017-06-25 Amin BandaliSection updates commit | commitdiff | tree | snapshot (tar.gz zip)
2017-06-25 Amin BandaliUpdate README.md commit | commitdiff | tree | snapshot (tar.gz zip)
2017-06-25 Amin BandaliVisual updates commit | commitdiff | tree | snapshot (tar.gz zip)
2017-05-20 Amin BandaliAdd Liquid Haskell to Tools commit | commitdiff | tree | snapshot (tar.gz zip)
2017-05-20 Amin BandaliWhat I'm doing this summer commit | commitdiff | tree | snapshot (tar.gz zip)
2017-05-02 Amin BandaliMention my work on Literate Unit-B's type checker commit | commitdiff | tree | snapshot (tar.gz zip)
2017-02-02 Amin BandaliAdd high school diploma and average to Education commit | commitdiff | tree | snapshot (tar.gz zip)
2017-01-21 Amin BandaliAdd Recent Projects section commit | commitdiff | tree | snapshot (tar.gz zip)
2016-12-25 Amin BandaliUpdate languages commit | commitdiff | tree | snapshot (tar.gz zip)
2016-12-24 Amin BandaliUpdate Misc. commit | commitdiff | tree | snapshot (tar.gz zip)
2016-12-21 Amin BandaliAdd LICENSE commit | commitdiff | tree | snapshot (tar.gz zip)
2016-12-21 Amin BandaliFakeBold is alright for print but too ugly on display... commit | commitdiff | tree | snapshot (tar.gz zip)
2016-12-19 Amin BandaliOops, forgot to link the template commit | commitdiff | tree | snapshot (tar.gz zip)
2016-12-19 Amin BandaliAdd README.md commit | commitdiff | tree | snapshot (tar.gz zip)
2016-12-19 Amin BandaliInitial check-in commit | commitdiff | tree | snapshot (tar.gz zip)
My academic curriculum vitae