👨‍💻 Hayden Walker

AWS Certified Developer – Associate

Tips for passing the AWS DVA-C02 exam.

Attending the 19th IEEE ICCA in Tallinn, Estonia, plus Germany!

Presenting my research and visiting friends!

AI-Generated Pineapple Curry

Finding out if Grok can cook.

knowin-notes-api

REST API for "Knowin' Notes," a web-based piano tutor.

🧰  Java, Spring Boot

gemini-browser

Graphical web browser for the Gemini protocol.

🧰  Java, JavaFX

wzlog

Web-based amateur radio logbook.

🧰  React, Material UI

Detecting and Resolving Feature Interactions in Cyber-Physical Systems using Formal Methods

H. D. Walker, S. L. Ricker, and H. Marchand, in 19th IEEE International Conference on Control and Automation, Tallinn, Estonia. IEEE, 2025, pp. 274-279. (PDF)

💭  Discrete Event Systems, Control Applications, Smart Structures