Alun Cennyth Stokes

AI/Machine Learning Researcher | Neuro-Symbolic AI & Computational Mathematics Specialist
Ontario, CA.

About

Highly analytical AI/Machine Learning Researcher with a unique interdisciplinary background bridging pure mathematics, symbolic computing, and advanced machine learning. Expertise spans neuro-symbolic AI, natural language processing, and multi-GPU computer vision, focused on developing innovative computational tools that integrate empirical data with formal reasoning systems. Proven ability to translate complex mathematical abstractions into high-impact, scalable solutions across diverse domains.

Work

Gift Horse Mouth Inspections
|

Researcher; Neuro-Symbolic Computing

Ontario, Ontario, Canada

Summary

Led cutting-edge research in neuro-symbolic AI, developing systems to generate formal hypotheses and optimize multi-GPU computer vision pipelines.

Highlights

Developed and implemented infrastructure for symbolic regression over complex algebraic domains, enhancing computational capabilities.

Designed and optimized scalable training and orchestration pipelines for multi-GPU model development in computer vision, significantly improving efficiency.

Bridged low-level performance programming with high-level mathematical abstraction to solve demanding computational problems effectively.

Private
|

Mathematics & Computer Science Tutor

Ontario, Ontario, Canada

Summary

Provided comprehensive mathematics and computer science tutoring to numerous students, significantly enhancing their academic performance over nine years.

Highlights

Tutored numerous students across various academic levels, improving comprehension and academic performance in complex subjects.

Developed customized learning plans and instructional materials to address individual student needs in mathematics and computer science.

Enhanced student problem-solving skills and conceptual understanding, leading to measurable academic progress and higher grades.

McMaster University
|

Graduate Researcher

Hamilton, Ontario, Canada

Summary

Conducted advanced graduate research in algebraic and computational number theory, culminating in a Master of Science thesis and ABD status.

Highlights

Authored Master of Science thesis, 'Computational investigations into dessins d'enfants,' demonstrating advanced analytical and computational skills.

Explored complex mathematical problems at the intersection of algebra and computation, leading to novel insights and theoretical advancements.

Achieved ABD status in Master of Science program, showcasing rigorous academic commitment and sustained research progress.

McMaster University
|

Research Assistant

Hamilton, Ontario, Canada

Summary

Supported NSERC-funded mathematical research under Drs. George Dragomir and Andy Nicas, managing computational resources and data analysis.

Highlights

Contributed to multiple research projects by conducting complex calculations and performing detailed data analysis.

Aided in the preparation of research findings and presentations for academic conferences and peer-reviewed publications.

Managed research data and computational resources, ensuring project continuity and efficient delivery of grant deliverables.

McMaster University
|

Research Assistant

Hamilton, Ontario, Canada

Summary

Provided critical research support to Dr. Cameron Franc, contributing to projects in advanced mathematical modeling and analysis.

Highlights

Assisted in the development and analysis of mathematical models, enhancing research project efficiency and data integrity.

Conducted comprehensive literature reviews and complex data analysis, providing foundational support for ongoing academic studies.

Collaborated on research initiatives, applying advanced mathematical concepts to solve intricate theoretical problems.

Statistics Canada
|

Data Scientist (Economics)

Ottawa, Ontario, Canada

Summary

Applied sophisticated natural language processing techniques to economic datasets, delivering actionable insights for government initiatives.

Highlights

Developed and implemented applied NLP projects, extracting valuable insights from large-scale economic data for policy analysis.

Contributed to data-driven policy recommendations by analyzing complex textual information, improving decision-making processes.

Utilized statistical methods to enhance data quality and interpretability, supporting comprehensive economic analysis initiatives.

McMaster University
|

Research Assistant

Hamilton, Ontario, Canada

Summary

Assisted Dr. Ned Nedialkov in computational mathematics research, developing models and performing rigorous data validation.

Highlights

Assisted in the development of computational models for mathematical problems, enhancing research capabilities and output.

Performed rigorous data validation and analysis, contributing to the accuracy and reliability of research outcomes.

Supported the preparation of research materials and reports, facilitating effective academic dissemination.

Education

McMaster University
Hamilton, Ontario, Canada

Master of Science (ABD)

Mathematics & Computer Science

Grade: ABD at time of writing

Courses

Computational investigations into dessins d'enfants (Thesis)

McMaster University
Hamilton, Ontario, Canada

Bachelor of Integrated Science

Integrated Science

Grade: 10.8/12 CGPA (3.8/4), Graduated summa cum laude

Courses

On self-contained numbers (Thesis)

Awards

Milos Novotny Fellow in Analysis

Awarded By

McMaster University

Recognized for competitive academic excellence and outstanding research potential in the field of analysis.

Ontario Graduate Scholarship

Awarded By

Government of Ontario

Awarded a prestigious, merit-based scholarship for graduate studies, recognizing exceptional academic achievement.

Math. & Stats. Departmental Grant

Awarded By

McMaster University

Received departmental funding to support advanced research and academic pursuits within Mathematics and Statistics.

Undergraduate Student Research Award (NSERC)

Awarded By

Government of Canada

Secured competitive NSERC funding for undergraduate research, supporting significant scientific inquiry and development.

First Place Paper in North America (Computer Science)

Awarded By

Global Undergraduate Awards

Achieved top honors for a computer science paper among North American submissions, demonstrating exceptional research and writing.

Stewart Award

Awarded By

McMaster University

Awarded for academic distinction and exemplary performance by McMaster University.

First Place (All Categories) STEM Fellowship Big Data Competition

Awarded By

STEM Fellowship

Secured first place in a comprehensive big data competition, demonstrating exceptional analytical and problem-solving skills.

Dean's Honour List

Awarded By

McMaster University

Consistently recognized for outstanding academic achievement and high scholastic standing across multiple years (2017-2021).

McMaster President's Award

Awarded By

McMaster University

Received a prestigious award from the university president for outstanding academic excellence and leadership potential.

Publications

Humanity's Last Exam

Published by

arXiv preprint

Summary

Co-authored a forthcoming arXiv preprint, 'Humanity's Last Exam,' contributing to advanced collaborative research.

The search for self-contained numbers: k-special 3-smooth integer representations and the Collatz conjecture

Published by

MacSphere

Summary

Published research exploring k-special 3-smooth integer representations and their connection to the Collatz conjecture, available on MacSphere.

A Minimal-Input Multilayer Perceptron for Predicting Drug-Drug Interactions

Published by

STEM Fellowship Journal

Summary

Authored a peer-reviewed paper on using a minimal-input multilayer perceptron to predict drug-drug interactions, published in the STEM Fellowship Journal, 6(1): 1-5.

Automatically Solving Square-Piece Jigsaw Puzzles using Convolutional Neural Networks with Gradient Boosted Decision Trees

Published by

The Undergraduate Journal

Summary

Developed and published research on an innovative approach to solving square-piece jigsaw puzzles using a combination of Convolutional Neural Networks and Gradient Boosted Decision Trees (12th edition).

Languages

English

Skills

Programming Languages

Python, Julia, Java, C/C++, CUDA, SQL.

Machine Learning & Scientific Libraries

SageMath, Nemo.jl, Hecke.jl, PyTorch, Transformers.

Tools & Technologies

LaTeX, Git, Macaulay2.

Operating Systems

GNU/Linux (Debian-based), macOS.

Research Methodologies

Neuro-Symbolic AI, Symbolic Computing, Natural Language Processing (NLP), Computer Vision, Algebraic Domains, Computational Number Theory, Mathematical Modeling, Data Analysis, Algorithm Development, Multi-GPU Development, Statistical Analysis, Problem Solving.