| markparmstrong@gmail.com | ||
Mark Armstrong |
phone | 289-689-8404 |
| Software Engineer, M.Sc. Computer Science | web | armkeh.github.io |
| github | github.com/armkeh |
Education
Ph.D. in Computer Science (incomplete) McMaster University, Hamilton ON, 2015 - 2022
- Investigated mechanising models of computability over real numbers using automated proof assistants.
- 3rd place in 2019 McMaster Computing and Software poster competition.
- Coursework and comprehensive examinations completed. Thesis not completed.
- GPA: 11.75 on 12 point scale.
M.Sc. in Computer Science McMaster University, Hamilton ON, 2013 - 2015
- Investigated classical computability results in context of computability over real numbers.
- GPA: 11.75 on 12 point scale. Graduated with distinction.
B.A.Sc. in Computer Science McMaster University, Hamilton ON, 2008 - 2013
- Awards each year for academic excellence and/or highest GPA in computer science program.
- Including Gerald L. Keech medal for highest graduating GPA in computer science, 2013.
- GPA: 11.1 on 12 point scale. Graduated with distinction.
Publications
- Armstrong, Mark & Zucker, Jeffery, Notions of semicomputability in topological algebras over the reals, Computability, vol. 8, no. 1, pp. 1-26, 2018
Awards
Graduate studies scholarships and fellowships
| Name | Years held | Value |
|---|---|---|
| NSERC Postgraduate Scholarship, Doctoral | 2017 - 2019 | $42,000 |
| Ontario Graduate Fellowship | 2016 - 2017 | $12,000 |
| Dean's Excellence Engineering Doctoral Award | 2015 - 2018 | $127,500¹ |
| NSERC Canadian Graduate Scholarship, Masters | 2014 - 2015 | $17,500 |
| Ontario Graduate Scholarship | 2013 - 2014 | $15,000 |
1. Included guaranteed teaching assistant employment income for those years.
Extracurricular
- Maintaining my setup/configs for Emacs and other tools (https://github.com/armkeh/dotfiles), to build a collection of well-documented tips and tricks.
- Represented McMaster Computing and Software at the Ontario Universities Fair in 2015 and 2016.
- Church secretary, board member, music and youth leader, and kids programming volunteer at Hamilton Mountain Church of the Nazarene, 2007-2015.
This document available in multiple formats from https://github.com/armkeh/resume/.
