Hi, I’m Mo!

I am a Ph.D. Candidate in the Department of Computer Science at UHM, working under the supervision of Professor Mirakhorli. Broadly, I am interested in trustworthy AI, reasoning models, and agentic systems, working on making AI systems more reliable, accurate, and safe. Prior to that, I received my B.Sc. from Sharif University of Technology.

I’ve also completed two internships as a Machine Learning Intern on Merck’s GenAI team working on LLM observability and agentic AI, and a Data Scientist Intern at Hitachi working on deep learning and multimodal retrieval.

Selected Publications

• Translation Titans, Reasoning Rookies: Satisfiability-Aided Language Models for Detecting Conflicting Requirements, link, ACM ASE, 2024.
• Neuro-Symbolic Approach to Certified Scientific Software Synthesis, link ACM AIWare, 2024.
• Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks, link, IEEE RE, 2024.
• Supporting AI/ML Security Workers Through an Adversarial Techniques, Tools, and Common Knowledge Framework, link, IEEE S&P, 2023.
• Attacks, Defenses, and Tools: A Framework to Facilitate Robust AI/ML Systems, link, RobustML, ICLR, 2021.

News

2025

• I have joined Merck as an AI/ML Intern in the GenAI Team.
• I am serving as a reviewer for ICML 2025.
• I have passed my proposal defense.

2024

• I am serving as a reviewer for ICLR 2024.
• I am serving as a reviewer for NeurIPS 2024.
• Paper Acceptance: Our paper is accepted to ACM ASE Conference.
• I will presenting our work on NeuroSymbolic AI at the ACM AIWare 2024 Conference.
• I am serving as a reviewer for IEEE TSE journal.
• Paper Acceptance: Our paper is accepted to ACM AIware Conference 2024
• I am presenting our work on Natural Language Inference for requirements analysis at IEEE RE 2024.
• Paper Acceptance: Our paper is accepted to IEEE RE 2024 Conference.

2023

• I am transferring to university of Hawaii at Manoa! Can’t wait to be there!
• I will be attenting NeurIPS 2023.
• I am serving as a reviewer for ICMLA.
• I am serving as a reviewer for IEEE TSE journal.

2022

• Paper Acceptance: Our paper is accepted to IEEE S&P.
• I am attending ACM ASE 2022.
• I have completed my summer internship at Hitachi as a Machine Learning intern.

2021

• I have passed my doctoral exam
• Paper Acceptance: My first paper is accepted to ICLR 2021.

Talks

• Translation Titans, Reasoning Rookies: Satisfiability-Aided Language Models for Detecting Conflicting Requirements, ACM ASE
• Neuro-Symbolic Approach to Certified Scientific Software Synthesis, ACM AIware
• Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks, IEEE RE
• Attacks, Defenses, and Tools: A Framework to Facilitate Robust AI/ML Systems, ICLR