Team

Arnaud Dury's doctorate dissertation relates to the modelization of interactions in multi-agent systems. The focus of his thesis originated from his interest in the utilisation of artificial intelligence to resolve quadratic allocation problems, to study emerging planning issues and to model synchronized predatory behaviour of social spiders belonging to the anelosimus eximius species.

In 2000-2001, he was a teaching and research assistant at Université de Nancy 2 (France), during which time he took part in a regional project dealing with intelligent anaesthesia assistance systems. Specifically, he was involved in developing a prototype for the real-time tracking of patients’ states of awakening in the operation room.

Since joining CRIM in 2001, Arnaud Dury’s work focus has been on formal system verification methodologies, mobile multi-agent system platforms, peer-to-peer calculation models, as well as distributed system security.

His article on "Formal Verification of Business Workflows and Role Based Access Control System" co-authored with Alexandre Petrenko, Volkmar Lotz (SAP) and Sergiy Boroday, was awarded a prize for the best article at the Securware 2007 Conference.

Director

Alexandre Petrenko

Lead Researcher (Ph.D., Institute of Electronics and Computer Science, Riga, USSR)

 

Team

El Hachemi Alikacem

Senior Research Agent (M.Sc., Université Laval, 1999, DEA, Université Paris VI, 1992 and M.Sc., Eng., Institut National de formation en informatique, Algeria, 1989)

Puneet Bhateja

Postdoctoral researcher (Ph.D., Computer Science, Chennai Mathematical Institute, India, 2009)

Arnaud Dury

Researcher (Ph.D., Université Henri-Poincaré de Nancy, 2000)

Associate Researchers

• Prof. Houari Sahraoui, Ph.D., Associate Researcher
  Department of computer science and operations research, Université de Montréal.
• Hesham Hallal, Ph.D., Associate Researcher
  College of Engineering, Fahad Bin Sultan University, Tabuk, Kingdom of Saudi Arabia.

Former Students

• Hesham Hallal, Microelectronics and Computer System Lab., Department of Electrical Engineering and Computer Science, McGill University (A. Petrenko) (2008). 
• May Haydar, (Thèse dans les meilleures 15%) Department of Computer Science and Operations Research, Université de Montréal (A. Petrenko and H. Sahraoui) (2008).
• Jia Le Huo, Microelectronics and Computer System Lab., Department of Electrical Engineering and Computer Science, McGill University (A. Petrenko and R. Negulescu) (2006). 
• Mirela Barburas, Department of Computer Science and Operations Research, Université de Montréal (A. Petrenko and H. Sahraoui) (2005).
• Jagmit Singh, Department of Electrical and Computer Engineering, Faculty of Engineering and Computer Science, Concordia University (A. Petrenko and Otmane Ait Mohamed) (2005).
• Qing Fan, Microelectronics and Computer System Lab., Department of Electrical Engineering, McGill University (A. Petrenko and R. Negulescu) (2004).
• Philipp Shugerel, master intern, Johannes Kepler University, Austria (2004).
• Thi Truc Vien, Institut Francophone Informatique de Hanoï (A. Dury and L. Magnin) (2003). 
• Hussein Moghnieh, summer intern for the project on the modelling of Web applications, Concordia University (2003).
• Nourchène Elleuch, Department of Computer Science and Operations Research, Université de Montréal (A. Dury and H. Sahraoui) (2003).
• Tiphaine Turpin, summer intern for the PATY project, École Normale Supérieure de Cachan (2003).
• Jean-Noël Isnard, summer intern for the project on the modelling of Web applications, Université de Montréal (2002).
• Xavier Prat, DESS de l'Université de Paris VI (A. Dury and L. Magnin) (2002).