Md. Sazid Uddin
I’m an AI researcher and software engineer — three-plus years building production backend systems, plus peer-reviewed publications in computer vision, reinforcement learning, and generative models. Right now I’m working on formal verification of interpretability interventions in transformer models, and I build LLM systems on the side, most recently a natural-language-to-SQL system using RAG and vector search.
Focus: AI Safety & Alignment · Formal Verification · Mechanistic Interpretability
What I do
Research. Published work in computer vision, reinforcement learning, and generative models (Frontiers, IEEE, Springer). Currently working on formal verification of mechanistic interpretability interventions on toy transformer models, aimed at a top-tier conference submission.
Teaching. Lecturer, Dept. of Computer Science, American International University–Bangladesh (AIUB) — programming, computer architecture, operating systems, software engineering, and web development. Lead developer of the department’s Web Development & Automation team, building systems to digitize and automate departmental activities — including the student course registration system (AIUB’s open-credit model) and the admission management system.
Software engineering. Three-plus years at Orion Informatics Ltd., building full-stack systems (Spring Boot, Angular, MS SQL Server, Apache Kafka) for Equiniti US’s shareholder/company management platform — including a Kafka messaging pipeline handling millions of shareholder votes per hour and a 60% reporting-query performance improvement.