Safa Zouari
About
I am employed as a Ph.D. researcher at NTNU. 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).
I am an 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.
- NWPT 2022.
-WiL 2023.
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
2024
-
Zouari, Safa;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
arXiv.org
Academic article
-
Zouari, Safa;
Ziemanski, Krzysztof;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
Lecture Notes in Computer Science (LNCS)
Academic article
Journal publications
-
Zouari, Safa;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
arXiv.org
Academic article
-
Zouari, Safa;
Ziemanski, Krzysztof;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
Lecture Notes in Computer Science (LNCS)
Academic article
Teaching
Outreach
2022
-
Academic lectureZouari, Safa. (2022) Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata. YR CONCUR 22 , University of Warsaw 2022-09-12 - 2022-09-12
2021
-
PosterZouari, Safa. (2021) Data Completion associated with Helmholtz equation using integral equations. University of Jyväskylä Jyvaskyla summer school , Jyväskylä, remotely 2021-08-16 - 2021-08-16