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 at the New Jersey Institute of Technology (NJIT) (Expected Aug 2026), currently based in Harrison, NJ. I specialize in Program Analysis and Formal Verification, where I develop tools to detect sources of nondeterminism and inconsistency in unsupervised learning using SMT solvers, and methods to control Neural Network generalization via MILP. My research has been published in ICSE and ASE, and I bring additional professional software engineering experience from my time at Samsung R&D Institute.

Program Analysis Formal Verification Software Engineering Optimization Machine Learning Artificial Intelligence

Experience

Full Details →

New Jersey Institute of Technology

Graduate Research Assistant · 2022 – Present

Graduate Teaching Assistant · 2021 – 2022

Samsung R&D Institute Bangladesh

Software Engineer I · 2019 – 2020

Intern · 2018 – 2019

North South University

Lab Instructor · 2018

Education

Ph.D. in Computer Science

NJIT · Sep. 2020 – Present

B.S. in Computer Science and Engineering

North South University · Jan. 2014 – Dec. 2017

Projects

Details →

Ocelot — Identifying nondeterminism via SMT.

VarDeterminismChecker — Hybrid analysis for variable determinism.

Constraint-guided-Generalization — MILP-based NN generalization control.

DeAnomalyzer — Cross-language AD consistency.

ACE — Accelerating clustering implementations.

Research

All Papers →

ICSE'26

Checking Unsupervised Learning for Nondeterminism and Inconsistency via SMT Solving

EASE'26

Can LLMs be Effective Code Contributors?

PPAM'24

ACE: Algorithm-independent Acceleration and Parallelization of Clustering

AITest'24

Vulnerability of Anomaly Detection to Nondeterminism-based Attacks

ASE'23

Pluggable Type Inference for Free

Expertise & Skills

Languages

Python, C++, C, Java, OCaml, SQL, Matlab, R, JavaScript

Formal Verification & Ops

Z3 Solver (SMT), Gurobi (MILP), Program Analysis

AI/ML & Data

TensorFlow, PyTorch, Scikit-learn

Backend & Infrastructure

Git, Docker, AWS (EC2, S3), Linux/Unix Shell