Fields of Research (FoR)
Formal methods for software, Data and information privacy, Distributed computing and systems software, Computing education, Service oriented computing, Business process management, Software engineeringBiography
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, University of New England, 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 Research Supervision
Supervision keywords
Areas of supervision
Computer science education
Technology education
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.
Publications
ORCID as entered in ROS
https://orcid.org/0009-0003-9127-441X