• English

Doctorant

Informatique théorique

Je suis actuellement doctorant à l’Université de Liverpool depuis octobre 2024. Je fais partie des groupes ACTO et NDC. Je travaille sous la direction de Sebastian Wild, Nikhil Mande et Viktor Zamaraev. Avant cela, j’ai obtenu mon diplôme de Master à l’Université de York sous la supervision de Detlef Plump.

Remarque : Mon nom de famille est “Ismaili Alaoui” dans son intégralité. Mon prénom est “Ziad.” Je n’ai pas de deuxième prénom.

Intérêts : transformation de graphes (graph transformation), réécriture de graphes (graph rewriting), algorithmes sur les graphes, structures de données succinctes, compression, tournois (objets combinatoires), complexité des requêtes (query complexity)

Pour me contacter, veuillez m’envoyer un email à [email protected] (à l’envers, de préférence; désolé, les web scrapers sont vraiment méchants).

Formation

• Doctorat, Informatique théorique

  Université de Liverpool (depuis octobre 2024)

• Master en Recherche, Informatique

  Université de York (septembre 2023 à septembre 2024)

• Bachelor, Informatique

  Université de York (septembre 2020 à juillet 2023)

Expérience professionnelle

Assistant d’enseignement à l’Université de Liverpool (depuis janvier 2025)

• J’aide à animer les travaux dirigés du module intitulé “Complexity of Algorithms” (COMP202).
• Je participe à la démonstration et à l’enseignement des tutoriels du module “Data Structures and Algorithms” (COMP108).

Assistant d’enseignement à l’Université de York (février 2024 à mai 2024)

• J’ai assuré les démonstrations pour le module intitulé “Object Oriented Data Structures & Algorithms” (COM00016C).

Présentations

1. “Succinct Preferential-Attachment Graphs”, Analysis of Algorithms (AofA) 2025, Toronto (Canada), 8 mai 2025.
2. “Finding Strong Kings in Tournaments”, Postgraduate Combinatorics Conference (PCC) 2025, Glasgow (the United Kingdom), 2 mai 2025.
3. “Linear-Time Graph Programs for Unbounded-Degree Graphs”, International Conference on Graph Transformation (ICGT) 2024, Enschede (the Netherlands), 11 julliet 2024.

Publications

1. Z. Ismaili Alaoui et N. S. Mande, Hardness of Finding Kings and Strong Kings, ArXiv e-prints, arXiv:2504.19386, 2025.
2. Z. Ismaili Alaoui et D. Plump, Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms, ArXiv e-prints, arXiv:2501.09144, 40 pages, 2025.
3. Z. Ismaili Alaoui et D. Plump, Linear-Time Graph Programs without Preconditions, Proc. 15th International Workshop on Graph Computation Models (GCM 2024). Electronic Proceedings in Theoretical Computer Science, arXiv:2503.20465.
4. Z. Ismaili Alaoui et 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.