Projects

Maths Cheatsheet Generation Tool : YAML to LaTeX automated cheatsheet generator (Python, LaTeX)
Latex Quiz from CSV : generates formatted LaTeX quizzes from CSV datasets (Python, LaTeX)
Latex Markdown SageMath Interactive Quiz Compiler : Markdown based quiz system with SageMath computation (Python, SageMath, LaTeX)
Markdown to Report HTML Document : Markdown to structured HTML report generator (Python, HTML)
Course Summary LaTeX Template : reusable academic summary template (LaTeX)
2026 UC University Course Notes : structured academic notes system (LaTeX)
SimpleCompiler : educational compiler implementation (Java / Compiler Design)
Graph Visualisation Investigation : algorithms and visualisation experiments (Python)
Ciphers and Cryptology Overview : exploration of classical cryptographic algorithms (Python)
Robotics Camera WebServer Host : embedded camera streaming and robotics interface (C, Embedded, Web)
Robot Interface API : API layer for robotics control systems (Python, API Design)
LeanTexBinder : framework linking Lean4 proofs with LaTeX documents (Lean4, LaTeX)
Open Requirements Engine : project requirements and dependency tracking tool (Python)
Homelab : infrastructure configuration and experimentation (Linux, Networking)
Game Review Frontend : frontend interface for reviewing games (HTML, JavaScript)
Colladocs Frontend : collaborative documentation interface (JavaScript, Web)
Spicetify One Light Theme : custom Spotify theme (CSS)
TexShop One Light Theme : theme customization for TexShop (CSS)

Programming Languages

Programming: Python, C, Java
Scientific / Mathematical: SageMath (CAS), Lean4 (Theorem prover)
Formal Verification: Lean4, Prolog
Document / Typesetting: LaTeX, Markdown, MyST, mustache (code gen templating)
Web: JakartaEE, Docker, Express, React, SQL, NoSQL, GraphQL, RabbitMQ
Systems: Linux, Embedded Systems (STM32, ATMEGA32U2, Arduino), RTOS

Riley Smith

Embedded Systems and Applied Mathematics

Email: rileys1000@gmail.com
Phone: +64 21 223 4580
Address: Ōtautahi, New Zealand

Professional Summary

Dedicated Computer Science graduate with practical experience in IoT software development and backend systems. Passionate about leveraging technology to create meaningful environmental and social impact. Strong problem-solving abilities with expertise in Java, system architecture, and agile development methodologies. Seeking to contribute technical skills toward conservation efforts and environmental sustainability initiatives.

Education

Bachelor of Science (Mathematics and Computer Science)
University of Canterbury, Ōtautahi, New Zealand
2022 - 2027

Professional Experience

Web Architecture (SENG365) Course Tutor — University of Canterbury
2026

Assisted students with course material and technical questions
Supported coordination of a large student cohort in a fast-paced academic environment
Reviewed and verified assignment materials and lecture content for accuracy and clarity

Junior IoT Software Developer Robotron NZ Ltd
2024 - 2025

Contributed to development of a virtual power grid management system for electric vehicles and power grid load optimisation.
Researched global error handling strategies in REST APIs using Java reflection to reduce debugging time.
Developed and maintained a Business Rules Engine using Drools integrating real-time NZ energy market data.
Worked within agile development cycles managing concurrent projects and rolling releases.
Improved production reliability through structured exception handling and fault mitigation.

Technical Skills

Programming: Java (JEE, Spring), JavaScript (Express.js), SQL
System Architecture: Backend systems, database design, data migration
Frontend: UI design, responsive web development
Development: Agile methodology, Git version control, CI pipelines
Data: Database architecture, real-time data processing

Non-Technical Personal Skills

Outdoor leadership and organisation experience with tramping and Climbing
Involved in Emergency response during Nelson flooding

Key Strengths

Strong analytical and problem-solving ability
Strong verification skills
Clear technical communication
Adaptive and fast learner in evolving environments
Passionate about the intersection between the real world, hardware and mathematics
Effective both independently and in collaborative teams