Ziad Ismaili Alaoui

Logo

View the Project on GitHub ismaili-ziad/me

PhD Student

Theoretical Computer Science

I am a current doctoral student at the University of Liverpool since October 2024. I am a member of the ACTO and NDC groups. I work under the guidance of Sebastian Wild, Nikhil Mande and Viktor Zamaraev. Prior to this, I completed my Master’s degree at the University of York under the guidance of Detlef Plump.

Note: My surname is “Ismaili Alaoui,” in full. My first name is “Ziad.” I do not have a middle name.

Interests: Graph Transformation, Graph Rewriting, Graph Algorithms, Succinct Data Structures, Compression, Tournaments, Query Complexity

To contact me, please send me an email at [email protected] (in reverse, ideally).

Education

Work Experience

Graduate Teaching Assistant at the University of Liverpool (Since January 2025)

Graduate Teaching Assistant at the University of York (February 2024 to May 2024)

Publications

  1. Z. Ismaili Alaoui and D. Plump, Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms, ArXiv e-prints, arXiv:2501.09144, 40 pages, 2025.
  2. Z. Ismaili Alaoui and D. Plump, Linear-Time Graph Programs without Preconditions, Proc. 15th International Workshop on Graph Computation Models (GCM 2024). Electronic Proceedings in Theoretical Computer Science. (To appear.)
  3. Z. Ismaili Alaoui and D. Plump, Linear-Time Graph Programs for Unbounded-Degree Graphs, Proc. 17th International Conference on Graph Transformation (ICGT 2024). Lecture Notes in Computer Science 14774, pages 3-20. Springer, 2024. DOI: 10.1007/978-3-031-64285-2_1.