Ghaith Bany HamadAI Solution Architect, Formal Verification expert – NVIDIA

Biography

I completed my Ph.D. in Electrical Engineering at the University of Montreal. My graduate research focused on proposing new probabilistic multi-level (System-level to Layout) mathematical models and formal verification methodologies to identify faults and estimate system reliability. During my Ph.D. studies, I was the recipient of the prestigious Natural Sciences and Engineering Research Council of Canada (NSERC) scholarship, and my dissertation was selected for the best thesis award in the Engineering Faculty. I was also awarded scholarships by the Microsystems Strategic Alliance of Québec (ReSMiQ) and received travel awards to attend top international conferences, including DAC, DATE, ICCAD, RADECS, IOLTS, and ISVLSI. My research received several best paper awards at IEEE ISCAS, IEA-AIE, and NEWCAS. As a postdoctoral researcher at Stanford Medicine, I collaborated with experts in machine learning and immunology, developing cutting-edge AI/ML methods at the intersection of data science and biomedical applications. My work focused on integrating transcriptomic, immunological, microbiomics, metabolomic, and proteomic datasets into predictive models, applying deep learning, ensemble methods, and multi-task learning architectures. I was also the recipient of the NSERC Postdoctoral Fellowship (2018-2020).

Industry

I am currently an AI Solution Architect and former Lead for AI in Formal Verification at NVIDIA, where I built an enterprise AI platform with multiple agents and copilots serving hundreds of engineers, designed RAG architectures and multi-agent workflows, and led a team of engineers on AI automation projects. This work has been released in several publications and patents. Previously, I was a Senior Member of Technical Staff at AMD, focusing on shift-left verification methodologies, and a Senior consultant at Facebook (Meta) and Marvell Technology, leading Ethernet verification teams for high-speed datacenters. Earlier in my career, I worked on CNN/DNN accelerator verification at XtremeEDA/Qualcomm and contributed as an R&D Engineer on aerospace projects with Bombardier, MDA, and the Canadian Space Agency.

Play

I enjoy reading, hiking, and love traveling and exploring new places.

Start typing and press Enter to search