Safa Zouari
About
I am employed as a Ph.D. researcher at IIK department. My research focuses on concurrency theory and formal verification, to contribute to the development of a Higher-dimensional automata model under the supervision of Stephen Wolthusen and Basel Katt at NTNU, Uli Fahrenberg (EPITA, Paris), and Krzysztof Ziemiański (the University of Warsaw, Poland).
Current roles:
- Member of the Leader Group at the IIK department.
_Member of the Research and PhD Education Committee (FU) at the IE faculty
-Associate of The (i)Po(m)set Project, and a
-Member of the Epita research laboratory (LRE), France.
I gave a talk at - YR CONCUR 2022, Warsaw, Poland.
-WiL 2023, Rome, Italy.
-ICTAC 2024, Thailand.
Research
In my research, I focus on concurrency theory and the use of formal verification to ensure the correctness of computer systems and software. I'm particularly interested in applying mathematical techniques to formally specify and verify system properties. This involves exploring topics such as logic and Higher Dimensional Automata, the concurrent counterpart of automata.
Publications
2025
-
Zouari, Safa.
(2025)
The talk that will make the event order haters happy.
Other presentation
2024
-
Zouari, Safa;
Ziemanski, Krzysztof;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
Lecture Notes in Computer Science (LNCS)
Academic article
2023
-
Zouari, Safa.
(2023)
Logical Characterization of concurrent Bisimulation over Higher >Dimensional Automata.
Other presentation
Journal publications
-
Zouari, Safa;
Ziemanski, Krzysztof;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
Lecture Notes in Computer Science (LNCS)
Academic article
UTSTILLING
-
Zouari, Safa.
(2025)
The talk that will make the event order haters happy.
Other presentation
-
Zouari, Safa.
(2023)
Logical Characterization of concurrent Bisimulation over Higher >Dimensional Automata.
Other presentation
Teaching
Outreach
2024
-
LectureZouari, Safa. (2024) Modal logic for Higher Dimensional automata. Modal logic over Higher Dimensional Automata , University of Edinburgh- School of Informatics 17.10.2024 - 17.10.2024
2022
-
Academic lectureZouari, Safa. (2022) Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata. YR CONCUR 22 , University of Warsaw 12.09.2022 - 12.09.2022
2021
-
PosterZouari, Safa. (2021) Data Completion associated with Helmholtz equation using integral equations. Jyvaskyla summer school , Jyväskylä, remotely 16.08.2021 - 16.08.2021