Portfolio 1

Published in Preprint, 2024
Recommended citation: Huang, Y., Amini, M., Glaunec, A.L., Mamouras, K. and Raghothaman, M., 2024. Membership Testing for Semantic Regular Expressions. arXiv preprint arXiv:2410.13262
Advanced Programming, Sharif University of Technology, Department of Mathematical Sciences, 2020
Course Instructor: Dr. Hossein Boomari, Mojtaba Ostovari
Operation Research, Sharif University of Technology, Department of Mathematical Sciences, 2021
Course Instructor: Dr. Hani Ahmadzadeh
Theory of Computation, University of Southern California, Thomas Lord Department of Computer Science, 2025
Course Instructor: Dr. Aaron Cote