• 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, envoyez-moi un email à ziad.ismaili-alaoui (at) liverpool (dot) ac (dot) uk. (J’avais avant inversé mon adresse email pour réduire les risques de spam provenant de web scrapers, mais j’ai décidé d’être un peu plus raisonnable.)

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”, 51st International Workshop on Graph-Theoretic Concepts in Computer Science (WG), Europäische Akademie Otzenhausen (Allemagne), 12 Juin 2025.
2. “Implementing Binary Search Trees in GP 2”, 16th International Workshop on Graph Computation Model (GCM), Koblenz (Allemagne), 10 Juin 2025.
3. “Succinct Preferential-Attachment Graphs”, Analysis of Algorithms (AofA) 2025, Toronto (Canada), 8 Mai 2025.
4. “Finding Strong Kings in Tournaments”, Postgraduate Combinatorics Conference (PCC) 2025, Glasgow (Royaume-Uni), 2 Mai 2025.
5. “Linear-Time Graph Programs for Unbounded-Degree Graphs”, International Conference on Graph Transformation (ICGT) 2024, Enschede (Pays-Bas), 11 Juillet 2024.

Publications

Prépublications

1. Z. Ismaili Alaoui, Namrata et S. Wild, Succinct Preferential-Attachment Graphs, ArXiv e-prints, arXiv:2506.21436, 2025.

   Nous présentons une structure de données compressée pour les graphes générés par le modèle de Barabási-Albert, visant à obtenir une utilisation de l’espace proche du minimum informationnel instance-optimal (c’est-à-dire lg(1/p) bits, où p est la probabilité de générer le graphe via le modèle), tout en supportant efficacement les requêtes de navigation (par exemple, déterminer si deux sommets sont adjacents). Nos contributions principales incluent l’analyse de l’utilisation de l’espace instance-optimal, avec des résultats qui, nous pensons, pourraient présenter un intérêt indépendant.

2. Z. Ismaili Alaoui et N. S. Mande, Hardness of Finding Kings and Strong Kings, ArXiv e-prints, arXiv:2504.19386, 2025.

   Un tournoi est défini comme un graphe orienté complet, où chaque paire de sommets est connectée par exactement un arc orienté. Un roi, dans un graphe orienté, est un sommet à partir duquel tous les autres sommets sont accessibles par un chemin d’au plus 2 arcs. Un roi fort est un roi k tel que, pour tout sommet v qui le domine, le nombre de chemins de longueur 2 de k vers v est strictement supérieur à celui de v vers k. Nous montrons que la complexité en requêtes randomisée (et donc déterministe) pour trouver un roi dans un graphe orienté arbitraire est Θ(n²). De même, nous démontrons aussi que la complexité en requêtes (randomisée et déterministe) pour trouver un roi fort dans un tournoi est Θ(n²).

3. 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.

Articles de Conférences et Séminaires

1. 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.
2. 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.