We are excited to welcome back Habeeb, a former member of our group, who has rejoined as a Postdoctoral Fellow. He completed his Ph.D. in Computer Science in 2025 at the Indian Institute of Science (IISc), Bangalore, where his research focused on neural network verification and cyber-physical systems. His recent work, including the paper “Approximate Conformance Checking for Closed-Loop Systems with Neural Network Controllers” (co-authored with Lipsy Gupta and Pavithra Prabhakar, EMSOFT 2024), highlights his contributions to advancing formal methods for learning-enabled systems.