Ahang Zuo

Associate Professor (Maître de conférences) in Computer Science
Université de Pau et des Pays de l'Adour (UPPA), member of the LIUPPA laboratory, France.
Former Ph.D. and Junior Researcher in the CONVECS at Inria/LIG, France

Address: Inria, 655 Av. de l'Europe, 38330 Montbonnot-Saint-Martin, France
Phone: +33 (0)4 76 61 52 73
E-mail: ahang.zuo@gmail.com

Find me also in [LinkedIn], [Google Scholar], [DBLP].

If you are interested in my research, please feel free to drop me a message.
(Remote) collaboration is also welcome.

---

---

Research Interests

• Formal Methods, Software Engineering
• Real-Time System, Information System
• Model Checking, Runtime Verification/Enforcement
• Business Process, Process Mining

---

---

Experiences

• 2025 - present Associate Professor (Maître de conférences) at Université de Pau et des pays de l'Adour, France
  Research topic: Artificial Intelligence for modelling, optimisation, and formal verification of business processes.
• 2020 - 2024 Junior Researcher/Ph.D. Candidate to Associate Research Fellow at Inria Grenoble Rhône-Alpes, France
  Research topic: Modelling, optimisation and predictive analysis in business processes.
• 2020 - 2024 Teaching Faculty at Université Grenoble Alpes, France
  Teaching topics: Computer Science & Informatics & Data Science. (Please see the teaching list for details)
• 2019 Research and Development (R&D) Engineer at Boccard, France
  Research topic: Participating in solving non-linear problems of resource allocation in real engineering projects.
• 2018 Research Assistant/Research Engineer at Institut Polytechnique de Paris (IP Paris), France
  Research topic: Participating in the development and optimisation of Non-linear Real Arithmetic (NRA) solver.

---

---

Publications

Conferences and Workshops*

• [C6] Yliès Falcone, Gwen Salaün, Ahang Zuo. Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. [Paper]
  QRS 2024 - 24th International Conference on Software Quality, Reliability, and Security, July 2024, Cambridge, United Kingdom.
• [C5] Yliès Falcone, Gwen Salaün, Ahang Zuo. Probabilistic Runtime Enforcement of Executable BPMN Processes. [Paper]
  FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering, April 2024, Luxembourg City, Luxembourg.
• [C4] Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo. WEASY: A Tool for Modelling Optimised BPMN Processes. [Paper]
  FACS 2022 - 18th International Conference on Formal Aspects of Component Software, November 2022, Oslo, Norway.
• [C3] Yliès Falcone, Gwen Salaün, Ahang Zuo. Probabilistic Model Checking of BPMN Processes at Runtime. [Paper]
  iFM 2022 - 17th International Conference on integrated Formal Methods, June 2022, Lugano, Switzerland.
• [C2] Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo. From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. [Paper]
  WRLA 2022 - 14th International Workshop on Rewriting Logic and its Applications, April 2022, Munich, Germany.
• [C1] Yliès Falcone, Gwen Salaün, Ahang Zuo. Semi-automated Modelling of Optimized BPMN Processes. [Paper]
  SCC 2021 - IEEE International Conference on Services Computing, September 2021, Chicago, United States.

(*: Authors Listed Alphabetically)

---

---

Personal Services

• Organising Committee:
  • FACS 2021 (Publicity Chair) - 17th edition of the International Conference on Formal Aspects of Component Software.
  • SPIN 2024 (Artifact Evaluation Committee) - 30th International Symposium on Model Checking Software.
• Reviewers:
  • ICSOFT 2022, 2023, 2024 - International Conference on Software Technologies.
  • ENASE 2024 - International Conference on Evaluation of Novel Approaches to Software Engineering.
  • SPIN 2024 - International Symposium on Model Checking Software.
  • COMPSAC 2024 - International Conference on Computers, Software, and Applications.

---

---

Talks

• Conferences: IEEE SCC, September 2021; iFM, June 2022; FACS, November 2022; FASE, April 2024; QRS, July 2024.
• Workshop: FMAOBP, May 2022.
• Seminars: LIG, April 2022; Inria, May 2021, June 2022, June 2023.

---

---

Teaching*

• [T8] 2023 - 2024 Algorithmic and Functional Programming, 78h, Université Grenoble Alpes, Spring 2024.
• [T7] 2023 - 2024 Introduction to Logic, 32h, Université Grenoble Alpes, Spring 2024.
• [T6] 2023 - 2024 Software Project, 15h, Université Grenoble Alpes, Spring 2024.
• [T5] 2023 - 2024 Basics of Software Development: Modularisation & Testing, 67h, Université Grenoble Alpes, Autumn 2023.
• [T4] 2022 - 2023 Data Extraction, 21h, Université Grenoble Alpes, Winter 2022.
• [T3] 2021 - 2022 Introduction to Java and Android Programming, 40h, Université Grenoble Alpes, Spring 2022.
• [T2] 2021 - 2022 Computer Sciences Applied to Life Sciences, 30h, Université Grenoble Alpes, Autumn 2021.
• [T1] 2020 - 2021 Introduction to Java and Android Programming, 40h, Université Grenoble Alpes, Spring 2021.

(*: Listed by Academic Year)

---

---

Education

• Inria & Université Grenoble Alpes, Ph.D. Computer Science, France
• Université Paris-Saclay, M.S. Computer Science, France
• Université de Lyon, M.S. Informatics & Statistics, France

---