Mohamed Nassim Seghir

About me

I am a research associate at UCL in the Computer Science Department working in the context of the DAASE project. My search interests include automatic software verification, static analysis, formal methods and software related security.
You can find my contact details here.




Publications