Available for opportunities
AI/ML Engineer
Building intelligent systems across computer vision, machine learning, LLM applications, and research-driven automation.
About
I specialize in building AI/ML systems and research-driven software people can actually use.
Currently focused on
Career Path
A chronological journey of my professional and academic development.
Bridgewater State University · Bridgewater, MA
Sept 2026 – Current
Bridgewater State University · Bridgewater, MA
May 2026 – Sept 2026
Metro South Chamber of Commerce · Brockton, MA
Jan 2026 – May 2026
IMC, Air University, Pakistan · Islamabad
Aug 2022 – Aug 2024
Expertise
The tools I use to detect, retrieve, certify, and ship.
Selected Work
Systems where detection, language, and proof have to stay honest.
5 projects shown
Echo Madrid / Ask Echo
Your club.
Answers from data.
Match results / Recent form / La Liga
AI / Sports Analytics
A natural-language assistant for Real Madrid match results, recent form, and La Liga standings. An LLM tool-calling layer connects questions to a live PostgreSQL database through FastAPI.
Answers grounded in match and standings data.
Computer vision / Language queries
Aerial scenes.
Queryable insights.
YOLOv8 / ByteTrack / Python
Computer Vision / AI
Turns aerial video into persistent object detections and queryable scene data. Vehicles are detected with YOLOv8, tracked with ByteTrack, counted through zones, and queried in English only from those results.
English questions are answered only from detection and tracking output.
Research / Formal methods
From argument
to checked proof.
Workflow overview · Lean 4
Research / Formal Verification
An automated formal-verification workflow using Lean and AI-assisted proof tooling to decompose, review, validate, and certify mathematical arguments.
Candidates are merged only after they typecheck in Lean 4.
Metro South Chamber of Commerce
Answers grounded
in your documents.
Internal assistant + public website chatbot
AI / ML
Two FastAPI systems with gpt-4o-mini: an internal accreditation assistant and a public website chatbot. Answers stay inside chamber documents, or they do not go out.
Presented at the Student Arts & Research Symposium (StARS) at Bridgewater State University.
FIFA World Cup 2026
Matchday
Intelligence.
Match state / Events / Reports
Software
A live companion for the 2026 World Cup: match state, scores, events, lineups, formations, and post-match reports. After kickoff, the pipeline runs without editorial input.
Research
Applied research across aerial imagery, language, and formal verification.
12 publications: four journal articles, including IEEE Access and Frontiers in Neurorobotics, and eight IEEE conference papers. Most of the work is aerial detection, tracking, and recognition.
Language-queryable detection and tracking over real aerial footage, grounded in YOLOv8 and ByteTrack.
AI engineering work at Bridgewater State University from May to September 2026 on an automated Lean 4 certification workflow.
Presented the Metro South Chamber chatbot work at the Student Arts & Research Symposium at Bridgewater State University.
Available for opportunities
AI engineering, computer vision, machine learning, research collaboration, and software opportunities.
Email memuhammadovaisyusuf@gmail.com