Ayşe Irmak Erçevik holds a B.Sc. (2022) and M.Sc. (2024) in Computer Engineering from TOBB University of Economics and Technology. Her master’s thesis focused on enhancing predictive maintenance in electric buses using graph-based feature selection and machine learning. She is currently pursuing a Ph.D. in Computer Science at King’s College London under the supervision of Dr. Karine Even-Mendoza, Prof. Hana Chockler and Dr. Hector Menendez. Her current research, entitled as “Reliability and Verification of Software for Scientific and ML Computing” addresses the critical challenge of ensuring reliability in machine learning (ML) and programming language (PL) libraries, particularly in floating-point and arithmetic computations.