Ahmed

Computer Science major · Mathematics & Modeling minor @ Constructor University

Software Engineer at Insytes President of Math Society at Constructor University

Passionate about bridging the gap between theoretical mathematics and scalable systems. Building tools for the future of computing.

Ahmed Profile Photo

Featured Projects

Shor’s Algorithm & QC

Research · Theory + Implementation

Simulation of Shor’s algorithm for integer factorization on quantum circuits.

View Project →

MSA Platform

Full-stack · Real Users

A comprehensive management platform serving 500+ active student users.

View Project →
View All Projects →

Experience

Incoming Research Intern

York University (DAAD & Mitacs) Summer 2026
Toronto, Canada | Research Scholarship
  • Selected for the prestigious DAAD & Mitacs Globalink Research Award.
  • Will conduct research on Machine Learning for Next-Gen Networks under Prof. Ping Wang (IEEE Fellow).
  • Focusing on implementing ML algorithms for resource allocation in future computer networks.

Software Engineer

Insytes Present
Causal ML & Backend Engineering
  • Specializing in Causal Machine Learning and ontology design.
  • Developing scalable backend architectures and causal discovery pipelines.
  • Managing cloud infrastructure for high-performance ML workloads.

Teaching Assistant: C/C++ & Math Foundations of CS

Constructor University Sept 2025 – January 2026
Bremen, Germany | Algorithms & Mathematics
  • Supported lectures and tutorials for over 350 students in the theoretical and practical foundations of Computer Science.
  • Strengthened students' understanding of Algorithms and Programming (C/C++ memory management, pointers, data structures).
  • Guided evaluations and taught key mathematical concepts including Graph Theory and Abstract Algebra.

Research Student Intern

Constructor Tech Jul 2025 – Sept 2025
Bremen, Germany | AI for Geometry Reasoning
  • Collaborated with AI/Math research teams on Theorem-Proving Automation.
  • Contributed to proof-automation pipelines using Wu's Method and Alpha Geometry.
  • Investigated symbolic reasoning and computability of high-school geometry problems.

Lead Fleet Systems Developer

GBCS Group Jun 2025 – Aug 2025
Calgary, Canada | Leadership & Full-stack
  • Led a cross-functional team of 10 engineers building scalable fleet-management systems.
  • Developed robust Django REST APIs and coordinated integration with UI/UX and DevOps.
  • Improved delivery time by 20% by implementing SCRUM and agile sprints.
Engineering Scalable Systems & Full-stack
Research AI Automation & Geometry
Leadership Math Society President