| AFFILIATIONS |
| Designation |
Sr. Assistant Professor |
| Department |
Department of Computer Science |
| University |
Bahria University Islamabad Campus |
|
| QUALIFICATION |
| DEGREE |
PASSING YEAR |
MAJORS |
UNIVERSITY |
| Ph.D |
2012 |
Computer Science |
Université Henri Poincaré, Nancy, France. |
| MS. |
2008 |
Computer Science |
Université Henri Poincaré, Nancy, France. |
| MS. |
2005 |
Computer Science |
National University of Computer and Emerging Sciences, FAST, Islamabad, Pakistan. |
| BCS. |
2002 |
Computer Science |
IIUI, Islamabad, Pakistan. |
| TEACHING EXPERIENCE |
| DESIGNATION |
FROM |
TO |
ORGANIZATION |
| Sr. Assistant Professor |
July 2018 |
Date |
Bahria University |
| Assistant Professor |
2015 |
July 2018 |
Iqra University |
| Visiting Faculty |
2013 |
2013 |
Iqra University |
| PUBLICATIONS |
| 1 |
A High-Level Language for Modeling Algorithms and their Properties, Sabina Akhtar,Stephan Merz and Martin Quinson, 13th Brazilian Symposium on Formal Methods -SBMF’2010, Natal, Brazil. A copy is accessible at http://hal.inria.fr/inria-00537779/PDF/final.pdf |
| 2 |
Extending PlusCal : A Language for Describing Concurrent and Distributed Algorithms, Sabina Akhtar, Stephan Merz and Martin Quinson, Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Pau, France. |
| 3 |
Formal Verification of Authorization Policies for Enterprise Social Networks using PlusCal-2, CollaborateCom 2017-13th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing |
| 4 |
Authorization Policies Specification and Consistency Management within Multi-cloud Environments. NordSec 2018, Secure IT Systems – 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018 |
|