Narjes Ben rajeb robbana

Professor in Computer Science

I am a Professor in Computer Science at EPITA Toulouse and a member of the Automata and Applications team at the EPITA Research Laboratory (LRE). I am also an international expert for the French Engineering Accreditation Commission (CTI). My research focuses on formal methods, such as theorem proving, and their application for the verification of protocol security properties.