{"id":2,"date":"2016-04-26T10:44:48","date_gmt":"2016-04-26T10:44:48","guid":{"rendered":"http:\/\/qufaculty.qu.edu.qa\/rhadjidj\/?page_id=2"},"modified":"2016-11-14T12:23:26","modified_gmt":"2016-11-14T12:23:26","slug":"sample-page","status":"publish","type":"page","link":"http:\/\/qufaculty.qu.edu.qa\/rhadjidj\/","title":{"rendered":"Home"},"content":{"rendered":"

[vc_row full_width=”” parallax=”” parallax_image=””][vc_column width=”2\/3″][vc_column_text css_animation=””]\"RachidHadjidj_NEW\"<\/p>\n

Biography<\/h1>\n

\u00a0Dr Rachid Hadjidj is a faculty member\u00a0 in the Department of Computer Science and Engineering at the university of Qatar. He has a Phd degree in computer Engineering\u00a0 from the university of Montreal (Ecole Polytechnique)\u00a0 in CANADA,\u00a0 a Master degree in computer science from the university of science and technology Houari Boumedienne\u00a0 in Algeria, and an Engineer degree in computer science from the same university. After getting his PHd\u00a0 degree , Dr Rachid Hadjidj worked as a Post doc fellow for two years at the university of Concordia (Canada), and as a consultant with the Canadian National defense , Fujitsu , and Bell Canada. His fields of research include: Real time systems modeling and verification , System engineering, Hardware\u00a0 and Software\u00a0 verification, Automatic verification and model checking, Computer security and\u00a0 forensics, and Bioinformatics.<\/p>\n\n\n\n\n
\n

Personal Details<\/h1>\n<\/td>\n<\/tr>\n

<\/td>\n\n\n\n\n\n\n\n
Current position<\/strong><\/td>\nAssistant Professor at the University of Qatar<\/td>\n<\/tr>\n
Tel<\/strong><\/td>\n\u00a0+974 4403 4259<\/td>\n<\/tr>\n
Emails<\/strong><\/td>\nrhadjidj@qu.edu.qa<\/a>,<\/td>\n<\/tr>\n
Address<\/strong><\/td>\nPoBox 2713, Dpt of Computer Science and Engineering, Qatar University, Doha Qatar<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\n
\n

Qualifications<\/h2>\n<\/td>\n<\/tr>\n

<\/td>\n\n\n\n\n\n\n
Feb-2006<\/strong><\/td>\nPh.D. in Computer Engineering Institution: University of Montreal (Ecole Polytechnique), Montreal, Canada Topic: Formal validation of real time systems<\/td>\n<\/tr>\n
Aug-1994<\/strong><\/td>\nM.Sc. in Computer Science Institution: University of science and technology Houari Boumedienne (USTHB), Algeria Topic: Dynamic Graphs: A new paradigm for parallel and distributed computations<\/td>\n<\/tr>\n
Jun-1990<\/strong><\/td>\nEngineering Degree in Computer Science Institution: University of science and technology Houari Boumedienne (USTHB), Algeria Topic: A Multimedia tutoring system<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\n
\n

Research Interest<\/h1>\n<\/td>\n<\/tr>\n

<\/td>\n\n