Funding Agencies: NSERC - SSHRC - FQRNT- FQRSC - CRIAQ - Mitacs. Selected Research Projects: Trust and security of communities of services in the cloud; Security of outsourced databases/cloud databases.
Research Experience
Present: Full Professor, CIISE, Concordia University; 2016-2010: Associate Professor, CIISE, Concordia University; 2010-2006: Assistant Professor, CIISE, Concordia University; 2006-Present: Adjunct Professor, Department of Computer Science and Software Engineering, Laval University; 2006: Scientist Research (NSERC Postdoctoral Fellow), Computational Logic Laboratory, School of Computing Science, Simon Fraser University; 2006-2005: Scientist Research (Postdoctoral Fellow), Science and Software Engineering, Geomatics Research Center, Laval University; 2005: Professional Research, Science and Software Engineering, Geomatics Research Center, Laval University.
Education
Ph.D. 2001-2005, Laval University, Computer Science; M.Sc. 1998-2001, National Engineering School of Computer Science and System Analysis, ENSIAS, Rabat, Morocco, 1st class honors; B.Sc. 1994-1998, National Institute of Statistics and Applied Economics, INSEA, Rabat, Morocco, Engineer in Computer Science (equivalent to a BS.c.), 1st class honors; Diploma 1991-1994, Nador, Morocco, French type of Baccalaureate in Sciences (Diploma of College Studies), 1st class honors.
Background
Research Interests: Intelligent agents and multi-agent systems, Agent-based software engineering, Multi-agent interaction, dialogue and argumentation, Validation and automatic verification (Model Checking), Formal methods, Temporal and spatial reasoning, Non-classical logics (Temporal logic, Spatial logic, Dynamic logic, Epistemic logic, etc.), Decision theory, Artificial intelligence and knowledge representation, Security in multi-agent systems, Semantic Web and semantic grid computing, Service oriented computing.