Emin Karayel

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

• An Embarrassingly Parallel Optimal-Space Cardinality Estimation Algorithm by Emin Karayel
  Published in: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023), Leibniz int. proc. inform. 275, 35:1–35:22(2023)
  DOI: 10.4230/LIPIcs.APPROX/RANDOM.2023.35
  Full version available on arXiv
• Formalization of Randomized Approximation Algorithms for Frequency Moments by Emin Karayel
  DOI: 10.4230/LIPIcs.ITP.2022.21 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
  

Supervised Projects/Theses

I had the opportunity to work with:

• Jakob Schulz: A verified functional implementation of the Schönhage-Strassen-Algorithm, (MSc at TUM, 2023)
• Maximilian Spitz: Gray Codes for Arbitrary Numeral Systems, (Practical Course at TUM, 2023)
• Nils Cremer: Verified Enumeration of Trees, (BSc at TUM, 2023)
• Paul Hofmeier: Verification of Combinatorial Algorithms, (BSc at TUM, 2022)

Contact