Ibrahim Albool is a Ph.D. student at the EECS department of UC Irvine since September 2024. He specializes in the field of NN verification and reachability. Before that and since August 2022, he started his Ph.D. journey at UNC Charlotte in the field of multi-agent robotics and RL, then he moved to UCI. Prior to this, he served as a Senior Software Developer at IQVIA, starting in May 2018. His work primarily revolved around software development, including the application of Machine Learning and Deep Learning in healthcare contexts.

Ibrahim earned his Master's degree in Electrical Engineering with a specialization in Mechatronics & Automatic Control from the University Teknologi Malaysia in February 2016. Following his academic achievements, he joined the R&D team at Imagry as an Electrical Engineer. In this role, he contributed to the development of the path planning and control system, including steering, brakes, and throttle control for the Kia Soul 2017 car, enabling it to achieve autonomous driving capabilities.