Download CV

Dr. Adnan El Sherif

  • َQualifications: Doctor of Philosophy
  • Academic Rank: Lecturer
  • Department of Computer Science
  • Faculty of Science

Contact

Citations

All since 2019
Citations
h-index
i10-index

Roles

Dr. Adnan Mahmoud El-Sherif joined the faculty members of the Department of Computer Science at the College of Science in November 2021. He held the duties of study and examination coordinator in the department in the fall 2021 semester and currently holds the duties of curriculum coordinator in the Department of Computer Science. 

Careers

Dr. Adnan Mahmoud El-Sherif has been a lecturer in the Department of Computer Science since November 2021. Prior to joining the university, he held several assignments, including Microsoft Consultant for North Africa and the Eastern Mediterranean, and Regional Manager for the Brazilian company Queiroz Gualvao.

Research Interests

1-      Formal Methods for Specification and Validation of Software systems

2-      Software Engineering

3-      Concurrent and Real-time systems

4-      Formal Verification and Validation of Software

5-      Programming Language Development

6-      Teaching Methods of Computer Science curriculum and Distance Learning

External Activities

Dr. Adnan Mahmoud El-Sherif represents the University of Tripoli in several committees formed by decisions of the Minister of Higher Education and Scientific Research, namely: Member of the Connectivity and E-Learning Committee since February 2022. And a member of the sub-committee for the preparation of the computer science department guides for the faculties of science. He is a member of the organizing committee of the major competition for graduation projects organized by the Ministry.

Publications

Conference paper

Andrew Butterfield, Adnan Sherif, Jim Woodcock (7-2007)
Lecture Notes in Computer Science - Springer, 4591(1), pp. 75-97
Jifeng He, Shengchao Qin, Adnan Sherif (2-2006)
Lecture Notes in Computer Science - Springer, 4010(1), pp. 58-100
Mabroukah Amarif, Mosbah Elssaedi, Abuagila Abubaker, Adnan Elsherif, Mahmud Shertil (8-2023)

Journal Article

Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio (3-2010)
Formal Aspects of Computing - Springer Verlag, 22(2), pp. 153-191