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

• 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