Ahang Zuo
Associate Professor (Maître de conférences) in Computer ScienceUniversité 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*
- [C8] Ahang Zuo. VeriFlow: Multi-Dimensional Verification of LLM-Generated Low-Code Workflows.
BIS 2026 - 26th International Conference on Business Information Systems, June 2026, Prague, Czech Republic. - [C7] Ahang Zuo. BPMN-T: A Timed–Probabilistic Extension of BPMN with Formal Semantics.
FormaliSE 2026 - 14th International Conference on Formal Methods in Software Engineering, April 2026, Rio de Janeiro, Brazil. - [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 International Conference on Formal Aspects of Component Software.
- Artifact Evaluation Committee:
- SPIN 2024 (Committee Member) - 30th International Symposium on Model Checking Software.
- Technical Program Committee:
- SOFTENG 2026 (Committee Member) - 12th International Conference on Advances and Trends in Software Engineering.
- 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; FormaliSE, April 2026; BIS, June 2026.
- Workshop: FMAOBP, May 2022.
- Seminars: LIG, April 2022; Inria, May 2021, June 2022, June 2023.
Teaching*
- [T11] 2025 - 2026 Information Systems Design, 56h, Université de Pau et des Pays de l'Adour, Spring 2026.
- [T10] 2025 - 2026 Object-Oriented Technology, 83h, Université de Pau et des Pays de l'Adour, Autumn 2025.
- [T9] 2025 - 2026 Data Structures and Abstract Data Types, 23h, Université de Pau et des Pays de l'Adour, Autumn 2025.
- [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