About me


I have a degree in mathematics from the Karlsruhe Institute of Technology with specialization in functional analysis and more than 20 years of experience as a software engineer in particular at Google.

Now, I am a PhD student at the Chair for Logic and Verification supervised by Prof. Nipkow. My focus is on the formalization of big data algorithms, in particular (parallel) streaming algorithms and low-distortion embeddings, as well as derandomization methods using Isabelle.



Name Emin Karayel
E-mail {emin.karayel} AT [tum.de]
ORCID iD 0000-0003-3290-5034