Ahmed Maghri

Research internship funded by MITACS Globalink and DAAD RISE Worldwide, hosted at York University's Lassonde School of Engineering under Prof. Ping Wang. Focus: semantic communications for 6G networks - applying deep learning as joint source-channel encoders/decoders to maximize transmission of meaning rather than raw bits, targeting the bandwidth and connectivity demands of next-generation wireless systems.

Co-leading a 4-person team responsible for the society's digital infrastructure and web presence. - Rearchitected the society's website with a new structural layout and updated events pages - Maintain and iterate on the platform to support the society's academic programming and community outreach Website: https://constructor-math.github.io/Home%20Page/landing.html

Developed and shipped backend features for a causal AI platform targeting industrial manufacturing clients, using FastAPI on AWS ECS. Built data analysis pipelines covering descriptive statistics, association mining, and decision-tree-based threshold detection. Integrated Amazon Bedrock for AI agent functionality, including context injection and system prompt engineering. Applied causal inference methods (DoWhy, PCMCI, FCI) for root-cause analysis on manufacturing time-series data.

Supervising Constructor Uni's undergraduate students through the Undegreaduate Seminar Series (editions 3, 4, and 5), guiding independent research from topic selection to written paper and public presentation. 9 topics supervised across disciplines: - Godel's Incompleteness Theorem: When Mathematics Met Its Limits - The Fundamental Theorem of Algebra and the Geometry of Zeros and Poles - Reaching Impossible Agreement: The Paxos Consensus Protocol - Lagrangian Putt-Putt: Forced Geodesic Motion on Arbitrary

Leading the Constructor University Math Society, I manage a cross-functional team spanning Project Management, Outreach, Tech & Web, Design & Marketing, Computational Math, and Media. I plan and curate academic talks, student workshops, and research-focused activities in collaboration with faculty. I also oversee the development of the society’s official website and digital presence while driving initiatives that strengthen our mathematical community.

Part of a research group investigating how AI can support students in developing reasoning skills, with a focus on Euclidean geometry. The project combines techniques like SAT solvers and LLMs to translate between natural language and formal logic, generate human-readable proofs, and provide intelligent, grounded hints during problem solving.

Led the development of GBCS Group’s core fleet software platforms (Aukai, Orion, Lokomotive), implementing and testing Django APIs for Scope 1 and 2 emissions calculations across aviation, marine, rail, and energy systems. Started as a backend intern and progressed to leading technical work across all platforms, overseeing architecture, implementation, and integration. Also implemented the SCRUM methodology to optimize team workflows, improve collaboration, and accelerate delivery across projects.