Muyeed Ahmed

Ph.D. Candidate · Graduate Research Assistant

Computer Science · New Jersey Institute of Technology

About me

I am currently a last-year Ph.D. student at the New Jersey Institute of Technology, where I also serve as a Research Assistant under the supervision of a professor Iulian Neamtiu. My research primarily focuses on program analysis, incorporating elements of unsupervised learning. I anticipate completing my studies by the summer of 2026.

Muyeed Ahmed

Contacts

Email ma234@njit.edu
akib100095@gmail.com
Location Harrison, New Jersey, USA

Experience

Graduate Research Assistant — New Jersey Institute of Technology

Jun. 2022 – Present
Supervisor: Dr. Iulian Neamtiu
  • Built a tool to detect sources of nondeterminism in unsupervised learning algorithm implementations (VarDeterminismChecker)
  • Verified sources of nondeterminism and inconsistency in unsupervised learning implementations using SMT solvers (Ocelot)
  • Developed MILP-based post-hoc constraints to control prediction flips and confidence in neural network models (Constraint-guided Generalization)
  • Developed a framework to verify correctness of LLM generate code (LLM-Test-Framework)
  • Developed a tool to reduce nondeterminism and inconsistency in anomaly detection algorithm implementations (DeAnomalyzer)
  • Built a tool to parallelize clustering algorithm implementations (ACE)

Graduate Teaching Assistant — New Jersey Institute of Technology

Jan. 2021 – May. 2022
Courses: CS370 Artificial Intelligence | DS644 Big Data | CS673 Software Design and Production Methodology
  • Conducted lab classes, evaluated exams and assignments, and developed project tutorials.

Software Engineer I — Samsung R&D Institute Bangladesh

Mar. 2019 – Dec. 2020 · Dhaka, Bangladesh
  • Performed quality assurance for Tizen and iOS applications.
  • Developed automated test scripts for iOS applications.
  • Conducted framework testing for IoT devices.

Intern — Samsung R&D Institute Bangladesh

Aug. 2018 – Feb. 2019 · Dhaka, Bangladesh

Lab Instructor — North South University

Jan. 2018 – Dec. 2018
Courses: Database Management Systems | Computer Architecture | Web Development
  • Conducted lab classes, evaluated exams and assignments, and developed project tutorials.

Education

Ph.D. in Computer Science

New Jersey Institute of Technology · Newark, NJ · Sep. 2020 – Present

GPA: 4.00
Thesis: Verifying and Validating Implementations of Unsupervised Learning Algorithms

B.S. in Computer Science and Engineering

North South University · Dhaka, Bangladesh · Jan. 2014 – Dec. 2017

GPA: 3.74

Publications

Controlling Neural Network Generalization via Constraint-Guided Weight Transformations

M Ahmed, R Lee, I Koutis, I Neamtiu
Submitted

Pluggable Type Inference for Free

M Kellogg, D Daskiewicz, LND Nguyen, M Ahmed, MD Ernst
ASE 2023

Anomalous Anomaly Detection

M Ahmed, I Neamtiu
AITest 2022

Clustering and Association Rule Mining-based Traffic Analysis and Prediction of Dhaka

M Ahmed, MT Imtiaz, R Khan, RM Rahman
Inderscience IJKEDM 2018

Bangla News Summarization

A Paul, MT Imtiaz, AH Latif, M Ahmed, FA Adnan, R Khan, I Kadery, RM Rahman
ICCCI 2017