Deniz Tomar

Deniz Tomar is a Formal Verification Engineer at Apple, having started this role in 2023. Previously, Deniz completed internships at various institutions, including the Karlsruhe Institute of Technology and Molimage-Molekuler Goruntuleme Sanayi ve Ticaret AS, where they gained hands-on experience in radio frequency engineering and microprocessor coding. Deniz's educational background includes a Master of Science in Communications Engineering from the Technical University of Munich and a Bachelor of Science in Electrical and Electronics Engineering with a double major in Mathematics from Boğaziçi University, where they were also an honors student. Additionally, Deniz engaged in research at Nanyang Technological University and Koç University, focusing on machine learning and audio emotion recognition.