+++ /dev/null
-<!DOCTYPE html>
-<html lang="en">
- <head>
- <meta charset="utf-8" />
- <meta name=viewport content="width=device-width, initial-scale=1" />
- <title>Curriculum Vitae | Amin Bandali</title>
- <meta
- name="description"
- content="Amin Bandali's curriculum vitae" />
- <link rel="stylesheet" href="/style.css" />
- </head>
- <body>
- <nav><a href="/">bandali.eu.org</a> / bandali-cv.html</nav>
- <main>
- <h1>Curriculum vitae (<a href="bandali-cv.pdf">PDF</a>)</h1>
- <!-- <p>
- <a href="bandali-cv.pdf">Download PDF version</a>
- </p> -->
- <table>
- <tbody>
- <tr>
- <td>Site</td>
- <td><a href="https://bandali.eu.org">bandali.eu.org</a></td>
- </tr>
- <tr>
- <td>Email</td>
- <td>bandali@uwaterloo.ca</td>
- </tr>
- <tr>
- <td>Phone</td>
- <td>available upon request via email</td>
- </tr>
- </tbody>
- </table>
-
-
- <h3>Education</h3>
- <h4>Master of Mathematics (Computer Science) | 2018–present</h4>
- <p>University of Waterloo, Canada</p>
- <p>
- Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019
- </p>
- <p>
- Research focusing on formal logic, model checking, and verification.
- </p>
-
- <h4>B.Sc. Honours Computer Science | 2013–2017</h4>
- <p>York University, Toronto, Canada</p>
- <p>GPA: 7.84/9.0</p>
- <p>
- Relevant courses: System Specification & Refinement, Software Requirements Eng., Software
- Design, Operating Systems, Computational Complexity, Design & Analysis of Algorithms.
- </p>
- <p>
- Finished first year (2013-14) at <em>Carleton University</em> with a GPA of 11.0/12.0, then
- transferred to <em>York University</em> in fall 2014.
- </p>
-
-
- <h3>Publications</h3>
- <p>Listed on my <a href="/#papers">home page</a>.</p>
-
-
- <h3>Work & Research Experience</h3>
-
- <h4>Cheriton School of Computer Science, University of Waterloo | 2018–present</h4>
- <p>
- Instructional Apprentice, Teaching Assistant, Research Assistant
- </p>
- <ul>
- <li>
- <abbr title="Logic and Computation">SE 212</abbr>:
- <abbr title="Instructional Apprentice">IA</abbr> in Fall 2019,
- <abbr title="Teaching Assistant">TA</abbr> in Fall 2018</li>
- <li>
- <abbr
- title="Software Requirements Specification and Analysis">
- SE 463</abbr>: TA in Summer 2019 and 2018</li>
- <li>
- <abbr
- title="Elementary Algorithm Design and Data Abstraction">
- CS 136</abbr>: TA in Winter 2018</li>
- </ul>
-
- <h4>
- <abbr title="Electrical Engineering & Computer Science">
- EECS</abbr> Department, York University | Fall 2017</h4>
- <p>Teaching Assistant</p>
- <p><abbr title="Net-Centric Introduction to Computing">EECS
- 1012</abbr>: TA in Fall 2017
- </p>
- </main>
- </body>
-</html>
(li (del ,(aa "bandali0" "https://twitter.com/bandali0")
" on Twitter"))))))
+(define cv-page
+ (static-page
+ "Curriculum vitae"
+ "bandali-cv.html"
+ `((h1 "Curriculum vitae (" ,(aa "PDF" "bandali-cv.pdf") ")")
+ (table
+ (tbody
+ (tr
+ (td "Site")
+ (td ,(aa my-domain my-url)))
+ (tr
+ (td "Email")
+ (td "bandali@uwaterloo.ca"))
+ (tr
+ (td "Phone")
+ (td "available upon request via email"))))
+ (h2 "Education")
+ (h3 "Master of Mathematics (Computer Science) | 2018–present")
+ (p "University of Waterloo, Canada")
+ (p "Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | "
+ "Expected completion: April 2020")
+ (p "Research focusing on formal logic, model checking, and "
+ "verification.")
+ (h3 "B.Sc. Honours Computer Science | 2013–2017")
+ (p "York University, Toronto, Canada")
+ (p "GPA: 7.84/9.0")
+ (p "Relevant courses: System Specification & Refinement, "
+ "Software Requirements Eng., Software Design, "
+ "Operating Systems, Computational Complexity, "
+ "Design & Analysis of Algorithms.")
+ (p "Finished first year (2013-14) at " (em "Carleton University")
+ " with a GPA of 11.0/12.0, then transferred to "
+ (em "York University") " in Fall 2014.")
+ (h2 "Publications")
+ (p "Listed on my " ,(aa "homepage" "/#papers"))
+ (h2 "Work & Research Experience")
+ (h3 "Cheriton School of Computer Science, University of Waterloo"
+ " | 2018–present")
+ (p "Instructional Apprentice, Teaching Assistant, "
+ "Research Assistant")
+ (ul
+ (li (abbr (@ (title "Logic and Computation")) "SE 212") ": "
+ (abbr (@ (title "Instructional Apprentice")) "IA") " in "
+ "Fall 2019, "
+ (abbr (@ (title "Teaching Assistant")) "TA") " in "
+ "Fall 2018")
+ (li (abbr (@ (title ,(string-append
+ "Software Requirements Specification and "
+ "Analysis"))) "SE 463")
+ ": TA in Summer 2019 and 2018")
+ (li (abbr (@ (title ,(string-append
+ "Elementary Algorithm Design and "
+ "Data Abstraction"))) "CS 136")
+ ": TA in Winter 2018"))
+ (h3 (abbr (@ (title
+ ,(string-append
+ "Electrical Engineering & Computer Science")))
+ "EECS")
+ " Department, York University | Fall 2017")
+ (p "Teaching Assistant")
+ (p (abbr (@ (title "Net-Centric Introduction to Computing"))
+ "EECS 1012")
+ ": TA in Fall 2017"))))
+
(site #:title "Amin Bandali"
;; TODO: uncomment after new haunt release
;; #:scheme my-scheme
(rss-feed
#:file-name "feed.rss")
contact-page
+ cv-page
license-page
(static-directory "static" "")))
left: 0.5em;
}
-h2 + ul, h2 + dl, h2 + table {
+h2 + ul, h2 + dl, h2 + table, h1 + table {
margin-top: 1em;
}
-h2 + .post-list, table + h2 {
+h2 + .post-list, table + h2, h2 + h3, ul + h3 {
margin-top: 0.7em;
}
p + table {
projects / ~bandali / bndl.org / commitdiff