Muyeed Ahmed
Ph.D. Candidate · Graduate Research Assistant
Computer Science · New Jersey Institute of Technology
About me
I'm a Ph.D. Candidate in Computer Science (Expected Aug 2026) specializing in Program Analysis and Formal Verification. Developed tools to detect sources of nondeterminism and inconsistency in unsupervised learning using SMT solvers, and developed methods to control Neural Network generalization via MILP. Research published in ICSE and ASE with additional professional software engineering experience at Samsung R&D Institute.
Education
Ph.D. in Computer Science
Supervisor: Dr. Iulian Neamtiu
Dissertation: 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.