WGU BSMS Computer Science (AI/ML Track) | WashU Alum I bridge the gap between rigorous mathematical foundations and high-stakes software engineering. I am currently accelerating through a dual BS + MS program focused on algorithmic integrity and computational safety.

• 🔭 Logic Verification Engine: Developed a Python-based auditor using Regex and Itertools for $2^n$ state-space exhaustion and formal logic audits.
• 📐 Modern C++ Refactor: Modernized legacy system architecture using C++20, RAII, and Smart Pointers to ensure 100% memory safety.
• ✅ Math Foundations: Navigating Discrete Mathematics II, focusing on Number Theory, Cryptography, and Probability for AI reasoning.

• Logic Verification Engine: A Python tool for Tautology Testing and formal logic verification.
• Linear Algebra Python: Explorations in vector spaces, SVD, and matrix transformations for ML intuition.

• Modern C++ Student Roster: A C++20 refactor showcasing RAII, Smart Pointers, and STL container optimization.
• System Architecture Lab: Documentation and labs focused on low-level system design and performance.

• Languages: Python (AI/Modeling), C++ (Systems), Java (Upcoming Enterprise Focus).
• AI/Math: NumPy, Matplotlib, Discrete Logic (II), Linear Algebra.
• Data & Systems: SQL (Data Architecture), Git Bash, Linux/Unix, Visual Studio, Visual Studio Code, Pycharm.
• Workflow: Conventional Commits, Anaconda, Jupyter, "Stop-Work" Authority Mindset.

• Phase 1: Core Foundations & Data Management
• Phase 2: C++ Systems Architecture & Logic Foundations
• Phase 3 (Active): Discrete Math II, Number Theory, & Cryptography ⚡
• Phase 4: Enterprise Back-End (Java Wall) & Scalable Systems
• Phase 5: MSCS Bridge: Deep Learning, NLP, and SVD Optimization

• LinkedIn: linkedin.com/in/joshuahasam