|
HVG (Hardware Verification Group) is one of the several research labs in the department of Electrical and Computer Engineering in Concordia University. HVG mission is the development of methodologies, algorithms and tools for the formal and semi-formal verification of hardware and embedded systems. HVG was founded in 1996 by Prof. Sofiène Tahar and is currently composed of more than 20 members. HVG is now a Research Unit of Concordia University. HVG conducted several projects in collaboration with national and international industry and academic partners. HVG research is funded by various national granting agencies and sponsored by several local and international industries. |
|
Home |
|
Contact Us |
|
People |
|
Alumni |
|
Laboratories |
|
Sponsors / Partners |
|
Research |
|
Publications |
|
Events |
|
Photo Gallery |
|
Related Links |
|
Conference CFPs |
|
HVG Local |
|
HVG was pleased to host the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008) in Concordia University, Montreal on 18th to 21st August, 2008. |
|
Last Modified On 09/02/2010 This page is maintained by Henda ARIDHI |
|
Prof. Sofiène Tahar received the «2007 Concordia University Research Award». Prof. Tahar was honored in the Senior/Established category. |
|
Dr. Otmane Ait Mohamed granted officially his promotion to Associate Professor. Congratulations to Dr. Otmane. |
|
Dr. Osman a senior member of HVG was awarded the title of “Best PhD Engineering Graduate of 2008”. Additionally he was appointed to the prestigious position of Valedictorian for the graduating class of 2008. Read More ... Video (time 2:04) |
Dr. Behzad Akbarpour is a former HVG member. He received numerous awards«Canada NSERC Doctoral Award»«Quebec ADESAQ prix d’excellence»«Concordia Great Grad 2005»«Faculty of Engineering Best PhD Thesis Award»Dr. Behzad Akbarpour is now a visiting scientist in Concordia University. (HVG) |
Dr. Amr Abdel-Hamid is a former HVG member.Dr. Amr Abdel-Hamid is now an assistant professor at The German University in Cairo. |
|
The OIQ premier magazine (PLAN)
|
|
Hardware Verification Group |
|
Concordia University |