Nick Mertin
Graduate Teaching Fellow
Kingston, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolNick Mertin is a PhD candidate and Graduate Teaching Fellow at Queen’s University specializing in formal verification and validation for safety- and mission-critical robotics and autonomous vehicle software. He holds a MASc where he proposed a novel approach to formally verifying computational digital logic and brings a decade of software and teaching experience, including internships at Google and roles as course instructor and TA. Nick combines hands-on systems and embedded programming with academic research, advising the Queen’s VEX U Robotics Team and serving in faculty and department governance. Known for translating rigorous formal methods into practical course material and team workflows, he also has consulting experience as a software architect and maintains active project repositories on GitLab.
10 years of coding experience
4 years of employment as a software developer
Bachelor of Applied Science - BASc, Computer Engineering, 4.1/4.3, Bachelor of Applied Science - BASc, Computer Engineering, 4.1/4.3 at Queen's University - Faculty of Engineering and Applied ScienceCertificate in Law, Certificate in Law at Queen's University
French, English
Stackoverflow
1,199reputation
88kreached
34answers
16questions
Github Skills (124)
matrix10
compiler10
rust10
vex10
vector10
javascript9
rust-lang9
markdown9
linux9
cortex-m9
dsa-algorithm9
ring9
rust-language9
garbage-collection9
cpp9
Programming languages (13)
Github contributions (5)
nickmertin/pros
Oct 2019 - Jun 2022
Source code for PROS kernel: open source C/C++ development for the VEX V5 microcontroller
Contributions:2 PRs, 9 pushes, 2 branches in 2 years 8 months
kernelcppvexlinuxvex-v5
TixoRebel/5225-2016-2017
Nov 2016 - Dec 2016
Contributions:3 releases, 93 pushes, 5 branches in 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.