Mohamed Nassim Seghir

About me

I am a research fellow at the school of informatics in the University of Edinburgh working in the context of the App Guarden project. My research is about applying static analysis techniques to verify and extract security properties of Android apps. I am also interested in applying formal verification techniques to software analysis and verification.
You can find my contact details here.