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

Huang, Y., Amini, M., Glaunec, A.L., Mamouras, K. and Raghothaman, M., 2024. Membership Testing for Semantic Regular Expressions. arXiv preprint arXiv:2410.13262

Teaching experience

University of Southern California

• Theory of Computation, Spring 2025

Sharif University of Technology

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

Skills

• Operating Systems: Linux, Windows, Mac
• Programming Languages: Python, Java, MATLAB, MIPS Assembly, Solidity, (Basic) Rust, C++