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.
Publications
- Formalization of Randomized Approximation Algorithms for Frequency Moments by Emin Karayel
Published in: 13th International Conference on Interactive Theorem Proving (ITP 2022), Leibniz int. proc. inform. 237, 21:1–21:21(2022)
DOI: 10.4230/LIPIcs.ITP.2022.21 - Strong eventual consistency of the collaborative editing framework WOOT by Emin Karayel and Edgar Gonzàlez
Published in: Distributed Computing 35, 145-164(2022)
DOI: 10.1007/s00446-021-00414-6
Contact
Name | Emin Karayel |
{emin.karayel} AT [tum.de] | |
ORCID iD | 0000-0003-3290-5034 |