Muyeed Ahmed
Ph.D. Candidate · Graduate Research Assistant
Computer Science · New Jersey Institute of Technology
About me
I am a last-year Ph.D. candidate in Computer Science at the New Jersey Institute of Technology, advised by Dr. Iulian Neamtiu. My research focuses on program analysis and verification, with connections to machine learning systems. I anticipate completing my Ph.D. by Summer 2026.
Education
Ph.D. in Computer Science
Supervisor: Dr. Iulian Neamtiu
Thesis: Verifying and Validating Implementations of Unsupervised Learning Algorithms
GPA: 4.0/4.0 (PhD coursework)
B.S. in Computer Science and Engineering
GPA: 3.74/4.0 (Magna Cum Laude)
Contacts
akib100095@gmail.com
Research
Notable Projects
VarDeterminismChecker — Detecting nondeterminism in ML.
Ocelot — SMT-based verification of ML implementations.
Constraint-guided Generalization — MILP-based post-hoc NN generalization.
Notable Publications
Checking Unsupervised Learning for Nondeterminism and Inconsistency via SMT Solving
Can LLMs be Effective Code Contributors? A Study on Open-source Projects
ACE: Algorithm-independent Acceleration and Parallelization of Clustering Implementations
Experience
New Jersey Institute of Technology
-
Graduate Research Assistant
· Jun. 2022 – Present
Built and evaluated tools to detect, diagnose, and reduce nondeterminism/inconsistency in unsupervised learning implementations. Developed verification workflows using SMT solving, and explored constraint-based methods to control neural network prediction behavior.
-
Graduate Teaching Assistant
· Jan. 2021 – May. 2022
Conducted lab sessions, evaluated exams/assignments, and prepared project tutorials.
Samsung R&D Institute Bangladesh
-
Software Engineer I
· Mar. 2019 – Dec. 2020
- Performed QA for Tizen and iOS applications.
- Developed automated test scripts for iOS applications.
- Conducted framework testing for IoT devices.
- Intern · Aug. 2018 – Feb. 2019
North South University
-
Lab Instructor
· Jan. 2018 – Dec. 2018
Conducted lab classes, evaluated exams and assignments, and developed project tutorials.