www.haywalk.ca

Hayden's piece of the internet since 2020

Welcome

I'm Hayden, and this is my website! Here you'll find information about me and the things I get up to. All opinions are my own.

Recent Blog Posts

How to Use a Wireless Xbox Controller with Linux 2025-10-01
AWS Certified Developer – Associate 2025-09-10
Attending the 19th IEEE ICCA in Tallinn, Estonia, plus Germany! 2025-07-16
AI-Generated Pineapple Curry 2025-05-17
Cum Honoribus primi Ordinis, cum Laude 2025-05-12

View all blog posts / RSS feed

Projects

Full-Stack Sheet Music Trainer (Spring, React.js) GitHub
Browser for the Gemini Protocol (JavaFX) GitHub
Amateur Radio Logbook App (React.js) Blog Post / GitHub

View more projects on GitHub

Publications

  1. H. D. Walker, S. L Ricker, and H. Marchand. "Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal Methods," in 19th IEEE International Conference on Control and Automation, Tallinn, Estonia. IEEE, 2025, pp. 274-279. IEEE / PDF

Google Scholar / ORCID