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
2024
-
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;
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