CV

Education

• Ph.D. in Computer Science, University of Southern California, 2024 - Present
• B.Sc. in Computer Science, Sharif University of Technology, 2019 - 2023

Research experience

2024: Research Assistant

• University of Southern California
• Supervisor: Dr. Mukund Raghothaman

Publications

Membership Testing for Semantic Regular Expressions

Yifei Huang, Matin Amini, Alexis Le Guanc, Konstantinos Mamouras, Mukund Raghothaman.

“How Does my Circuit Work? ” Local Explanations for the Behavior of Sequential Circuits

Amirmohammad Nazari, Matin Amini, Mukund Raghothaman.

Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications

Parwat Singh Anjana, Matin Amini, Rohit Kapoor, Rahul Parmar, Raghavendra Ramesh, Srivatsan Ravi, Joshua Tobkin.

Teaching experience

University of Southern California

• Discrete Methods in Computer Science, Fall 2025

University of Southern California

• Theory of Computation, Spring 2025

Sharif University of Technology

• Operation Research, Fall 2021
• Advanced Progreamming, Spring 2020

Skills

• Programming Languages: Java, Python, Coq, MATLAB, MIPS Assembly, Solidity, (Basic) Rust, C++