Faculty Proflle

Biography:

Dr. Farooq Ahmad completed his Ph.D. degree in Computer Science from Harbin Institute of Technology, P. R. China in 2009. He joined the Department of Computer Science, COMSATS Lahore Campus in February 2015 as an Associate Professor. He has been teaching courses related to Formal Methods at the graduate and undergraduate levels. His research interests are Petri net theory and applications, Formal methods for software engineering.

Educational Information

Year	Degree	Board / University

2009	PhD	Harbin Institute of Technology, China
2009	Ph. D.	Harbin Institute of Technology, China

Academic Experience

From	To	Post Held	Organization

13-02-2015	To date	Associate Professor	COMSATS University Islamabad

Publications

Key Publications

Farooq Ahmad,Tayyab Ch.,''Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets'',Plos one,2023.
F. A. Khan,,''"Process discovery and refinement of an enterprise management system," '',Computer Systems Science and Engineering,2022.
Husen, A.,,,'' A Survey on Requirements of Future Intelligent Networks: Solutions and Future Research Directions. '',ACM Computing Surveys:,2022.
F Husen,,''Optimizing Energy Conservation in V2X Communications for 5G Networks. '',CMC-COMPUTERS MATERIALS & CONTINUA ,.

Conferences

Year	Level	Country	City	Conference

No records to display.

Awards

Year	Awarding Organization	Description

No records to display.

Memberships

From	To	Title	Organization

No records to display.

Courses Taught

Course Code	Type	Title	University	Semester

No records to display.

Supervisions

Title	From	To	Organization / Institute	Type

No records to display.

Services

From	To	Institute / Organization	Job Specification

No records to display.

Books

Title	Subject	First Author	Second Author	Third Author	Year	Publisher

No records to display.

Fundings

From	To	Type	Title	Source	Amount

No records to display.

Active Collaborations

From	To	Type	Country	Organization

No records to display.

Industrial / Consulting Experience

From	To	Post Held	Organization

No records to display.

Extracurricular Activities

Hobbies	Interests

No records to display.

Languages and Skills

Languages	Skills

No records to display.

Disclaimer: The information displayed on this page belong to the author. Our employees are obliged not to display any false information. Therefore, CU will not take any liability for any false information included in this page. In case of any damages or other liabilites arising, employees are fully responsible for the content of their profiles.

Publication Year	Key Publications

1 2023	1 Farooq Ahmad,Tayyab Ch.,''Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets'',Plos one,2023.
2 2022	2 F. A. Khan,,''"Process discovery and refinement of an enterprise management system," '',Computer Systems Science and Engineering,2022.
3 2022	3 Husen, A.,,,'' A Survey on Requirements of Future Intelligent Networks: Solutions and Future Research Directions. '',ACM Computing Surveys:,2022.
4	4 F Husen,,''Optimizing Energy Conservation in V2X Communications for 5G Networks. '',CMC-COMPUTERS MATERIALS & CONTINUA ,.

Mr. Farooq Ahmad

Bearer of Architecture, CUI Lahore Campus