Ayşe Irmak Erçevik is a PhD candidate in the Department of Informatics at King’s College London, supervised by Dr. Karine Even-Mendoza. Her research, titled “Reliability and Verification of Software for Scientific and ML Computing” tackles the critical challenge of ensuring reliability in machine learning (ML) and programming language (PL) libraries, particularly in floating-point and arithmetic computations.

Research Groups

• The Software Systems (SSY) group

• King’s Quantum Research Centre

Research Interests

• Software verification
• Software testing
• Compilers
• Machine Learning

Supervisors

Primary: Dr Karine Even-Mendoza

Secondary: Professor Hana Chockler

Tertiary: Dr Hector Menendez Benito