Navigation

  • Skip to Content
NTNU Home NTNU Home

ntnu.edu

  • Studies
    • Master's programmes in English
    • For exchange students
    • PhD opportunities
    • All programmes of study
    • Courses
    • Financing
    • Language requirements
    • Application process
    • Academic calendar
    • FAQ
  • Research and innovation
    • NTNU research
    • Research excellence
    • Strategic research areas
    • Innovation resources
    • PhD opportunities
  • Life and housing
    • Student in Trondheim
    • Student in Gjøvik
    • Student in Ålesund
    • For researchers
    • Life and housing
  • About NTNU
    • Contact us
    • Faculties and departments
    • Libraries
    • International researcher support
    • Vacancies
    • About NTNU
    • Maps
  1. Employees

Språkvelger

Norsk

Safa Zouari

Download press photo
Download press photo
Foto: Kai T. Dragland / NTNU

Safa Zouari

PhD Candidate
Department of Information Security and Communication Technology

safa.zouari@ntnu.no
T-517 Topasbygget Kallerud, Gjøvik
About Research Publications Teaching Outreach

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.

                        - NWPT 2022, Bergen, Norway.

                        -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

  • Chronological
  • By category
  • See all publications in Cristin

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

Teaching assistance:

IIKG2001 - Software Security

IMT4123 - System Security

Outreach

2022

  • Academic lecture
    Zouari, 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

  • Poster
    Zouari, 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

NTNU – Norwegian University of Science and Technology

  • For employees
  • |
  • For students
  • |
  • Intranet
  • |
  • Blackboard

Studies

  • Master's programmes in English
  • For exchange students
  • PhD opportunities
  • Courses
  • Career development
  • Continuing education
  • Application process

News

  • NTNU News
  • Vacancies

About NTNU

  • About the university
  • Libraries
  • NTNU's strategy
  • Research excellence
  • Strategic research areas
  • Organizational chart

Contact

  • Contact NTNU
  • Employees
  • Find experts
  • Press contacts
  • Researcher support
  • Maps

NTNU in three cities

  • NTNU in Gjøvik
  • NTNU in Trondheim
  • NTNU in Ålesund

About this website

  • Use of cookies
  • Accessibility statement
  • Privacy policy
  • Editorial responsibility
Facebook Instagram Linkedin Snapchat Tiktok Youtube
Sign In
NTNU logo