Skip Ribbon Commands
Skip to main content
Dr Ali Hanzala Khan
Assistant Professor
Department of Electronics and Power Engineering

PNEC
National University of Sciences and Technology (NUST)
Habib Ibrahim Rehmatullah Road, Karachi
Tel : +92-21-48503098

Specialization
Automated Reasoning, Domain Specific Modeling Languages, Conceptual Modeling Languages, Formal Modeling Methods, Modeling Language Transformations, Metadata Issues of Modeling Languages XML/XSLT, Process Modeling, Automated Scripting through Models and Mo

Education
PhD Software Engineering (Åbo Akademi Turku Finland), Masters in Engineering and Management of Information System (KTH Sweden), Bachelor of Computer Engineering (Bahria University)

​​Dr Ali Hanzala Khan is Assistant Professor in Software Engineering, head of computer science department (HoCSD) at National University of Sciences and Technology (NUST). He is the leader of the Software Engineering Laboratory at NUST. Previously, he was working as Post Doctoral Researcher at Åbo Akademi University Finland under the supervision of Prof. Ivan Porres.

He has earned his doctoral degree with specialization of Software Engineering in 2013 from Åbo Akademi University Finland, and the topic of his thesis is “Consistency of UML based designs using Ontology Reasoners”. The thesis is available online at the following link: http://www.doria.fi/handle/10024/93808.

Also, he has more than eleven years of teaching, research and development experience. His research areas include: modelling, metamodeling, model validation, conceptual modeling, knowledge engineering, semantic web, ontology engineering, automatic reasoning, translation of different kinds of UML-like models into ontology.
Before starting his PhD he was working as a research consultant in FOI Swedish Defence Research Agency in Stockholm Sweden on the payroll of Stockholm University, in FOI he has proposed a Conceptual Modelling Language and its framework for Mission and Space Models. The detail of this research is also documented in the form of a technical report and available at the following link: http://www.foi.se/rapport?rNo=FOI-R--2606--SE

He did Masters in Software Engineering from KTH The Royal Institute of Technology, Sweden and his MS thesis was about “Transformation of UML Behavioural Models into Ontologies”. The masters thesis is available at the following link: https://daisy.dsv.su.se/fil/visa?id=1644
Nowadays, his motive is to transfer all his knowledge and expertise to the students at all levels so that they may learn and contribute in the betterment of the scientific world.

Website:
https://sites.google.com/site/dralihanzalakhan/home
Social:
https://fi.linkedin.com/in/ali-hanzala-khan-phd-a745377
​•    Automated Reasoning
•    Domain Specific Modeling Languages
•    Conceptual Modeling Languages
•    Formal Modeling Methods
•    Modeling Language Transformations
•    Metadata Issues of Modeling Languages XML/XSLT
•    Process Modeling
•    Automated Scripting through Models
•    Modeling Fusion
1. Ali Hanzala Khan and Naeem Abbas. Validation of UML Artifacts in Model Driven Engineering using Description Logics based Ontology Reasoners. International Journal of Computer Applications 171(3):9-16, August 2017​​
2.    Khan, Ali Hanzala and Porres, Ivan, Consistency of UML Class, Object and Statechart Diagrams Using Ontology Reasoners In: Journal of Visual Languages and Computing. Elsevier, 2015.
3.    Khan, Ali Hanzala, Consistency of UML Based Designs using Ontology Reasoners. TUCS Dissertations 168. 2013.
4.    Khan, Ali Hanzala and Rauf, Irum and Porres, Ivan. “Consistency of UML Class and Statechart Diagrams with State Invariants”. In First International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013. SciTePress.
5.    Rauf, Irum and Khan, Ali Hanzala and Porres, Ivan. “Analyzing Consistency of Behavioral REST Web Service Interfaces”. In The 8th International Workshop on Automated Specification and Verification of Web Systems, 2012. Electronic Proceedings in Theoretical Computer Science (EPTCS).
6.    Khan, Ali Hanzala and Suenson, Espen and Porres, Ivan. “Representation and Conformance of UML Models Containing Ordered Properties Using OWL2”. In OrdRing2011 First International Workshop on Ordering and Reasoning, Oct 2011. 10th International Semantic Web Conference (ISWC 2011).
7.    Khan, Ali Hanzala and Suenson, Espen and Porres, Ivan. “Class and Object Model Conformance using OWL2 Reasoners”. In 12th Symposium on Programming Languages and Software Tools (SPLST’11), Oct 2011.
8.    Höglund, Sören and Khan, Ali Hanzala and Liu, Ye and Porres, Ivan. “Representing and Validating Metamodels using the Web Ontology Language OWL 2”. Technical Report 973, TUCS. May 2010.
9.    Liu, Ye and Höglund, Sören and Khan, Ali Hanzala and Porres, Ivan. “A Feasibility Study on the Validation of Domain Specificc Languages Using OWL 2 Reasoners”. In Third Workshop on Transforming and Weaving OWL Ontologies and MDE at TOOLS 2010, Jun 2010.
10.    Höglund, Sören and Khan, Ali Hanzala and Liu, Ye and Porres, Ivan. “Representing and Validating Metamodels using OWL 2 and SWRL”. In Proceedings of the 9th Joint Conference On Knowledge-Based Software Engineering (JCKBSE'10), Aug 2010.
11.    Ali Hanzala Khan, Jeelena Z., Vahid M., Edward T.; “The Knowledge in DCMF Repository, Processes and Products” 2008; FOI Technical Report FOI-R--2606--SE. http://www.foi.se/rapport?rNo=FOI-R--2606--SE
12.    Khan, Ali Hanzala, Abid A. M., “Representing Graphical UML Activity Diagrams as OWL Ontology”, 2007, Technical Report. Available in the Stockholm University publication portal at the following link http://su.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:178627
 
Public Talks
 
1.    Consistency of UML Based Designs using Ontology Reasoners, PhD defence, Åbo Akademi Turku Finland, December 2013.
2.    Consistency of UML Class and Statechart Diagrams with State Invariants. In First International Conference on Model-Driven Engineering and Software Development, MODELSWARD, Barcelona Spain, February 2013.
3.    Analyzing Consistency of Behavioral REST Web Service Interfaces. In The 8th International Workshop on Automated Specification and Verification of Web Systems, 2012, Stockholm Sweden, June 2012.
4.    Representation and Conformance of UML Models Containing Ordered Properties Using OWL2. In OrdRing2011 First International Workshop on Ordering and Reasoning, at the 10th International Semantic Web Conference (ISWC 2011), Bonn Germany, October 2011.
5.    Class and Object Model Conformance using OWL2 Reasoners. In 12th Symposium on Programming Languages and Software Tools (SPLST’11), Tallinn Estonia, October 2011.
6.    Representing and Validating Metamodels using OWL 2 and SWRL”. In 9th Joint Conference On Knowledge-Based Software Engineering (JCKBSE'10), Kaunas, Lithuania Aug 2010.
7.    A Feasibility Study on the Validation of Domain Specic Languages Using OWL 2 Reasoners. In Third Workshop on Transforming and Weaving OWL Ontologies and MDE at TOOLS 2010, Malaga Spain, June 2010.
8.    Representing Graphical UML Activity Diagrams as OWL Ontology, Masters Thesis defence, KTH Stockholm Sweden, December 2007.
 
Reviewer
 
1.    Journal of Visual Language and Computing (JVLC) published by Elsevier, 2014.
2.    Software and System Modeling (SoSyM) journal published by Springer-Verlag, 2013.
3.    International Journal on Semantic Web and Information System. 2013.
4.    In First International Conference on Model-Driven Engineering and Software Development, MODELSWARD, 2013.
5.    ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS, 2012.
6.    The 4th IEEE International Workshop on Software Test Automation STA, 2012.
7.    5th International Conference on Model Transformation ICMT Co-located with TOOLS Europe, 2012.
8.    ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, MODELS, 2011.
9.    8th Nordic Workshop on Model Driven Software Engineering, NW-MODE, 2010.
10.    ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, MODELS, 2010.
​Over 7 years of teaching experience in the following universities of international repute (Sweden, Finland and Pakistan) of three different countries:

-    KTH The Royal Institute of Technology, Sweden
-    Stockholm University, Sweden
-    Abo Akademi, Finland
-    NUST, Karachi, Pakistan

Courses taught:

-    Requirement Engineering
-    System Design
-    Software Engineering
-    Advance Software Architecture
-    Advance Usability Engineering
-    Formal Methods
-    Database Design and Implementation
-    Visual Programming
-    Project Management
-    Engineering Economics and Project Management
-    Research Methodology
Over eleven years of industrial research and development work experience in Europe and Pakistan.

Åbo Akademi University Finland
Teacher February 2009 – May 2014
Postdoctoral Researcher December 2013 – May 2014
Doctoral Researcher February 2009 – December 2013
FOI Swedish Defence Research Agency
Research Consultant February 2008 – December 2008

Stockholm University
Amanuens(Teacher) February 2008 – December 2008

SYSLAB Stockholm University Sweden
Master’s Thesis August 2007 – December 2007

NUST National University of Science and Technology Pakistan
Database Administrator January 2006 – September 2006

ETI Engatech Interactive
Team Lead November 2004 – January 2006

PNSC Pakistan National Shipping Corporation
Trainee August - November 2004

SSGC Sui Southern Gas Company Ltd.
Internship July - September 2002