Fields of Research (FoR)
Formal methods for software, Data and information privacy, Distributed computing and systems softwareBiography
I am a Senior Lecturer at the School of Computer Science and Engineering (CSE) at the University of New South Wales (UNSW). I received my Ph.D. in Computer Science and Engineering from UNSW. I also hold a M.Sc. and a B.Sc. (with Honours) both in Computer Science from the University of Science and Technology Houari Boumediene (USTHB), Algeria. Prior to joining UNSW, I held Lecturer positions at Federation University, Victoria University,...view more
I am a Senior Lecturer at the School of Computer Science and Engineering (CSE) at the University of New South Wales (UNSW). I received my Ph.D. in Computer Science and Engineering from UNSW. I also hold a M.Sc. and a B.Sc. (with Honours) both in Computer Science from the University of Science and Technology Houari Boumediene (USTHB), Algeria. Prior to joining UNSW, I held Lecturer positions at Federation University, Victoria University, Central Queensland University, and USTHB (Algeria).
My Qualifications
Ph.D. in Computer Science and Engineering (UNSW), M.Sc. in Computer Science (University of Science and Technology Houari Boumediene (USTHB), Algeria), B.Sc. (with Honours) in Computer Science (USTHB, Algeria)
My Research Activities
My research focuses on formal modeling of business processes, exception handling, analysis and verification, and service-oriented computing. I have published in esteemed international journals and conferences, contributing significantly to these fields.
My Engagement
Professional membership:
- Member, Association for Computing Machinery (ACM)
- Member, Institute of Electrical and Electronics Engineers (IEEE)
My Teaching
My primary areas of teaching are Programming, Databases, Web Technologies, Software Engineering, and Capstone Projects.