Math and CS at TU Munich. Co‑founder of Venued.
Hi, I’m Ata. I’m finishing two master’s degrees at once, Mathematics and Informatics, and my CS thesis is due in November. I like building things and working on hard problems with good people.
Venued
Venued is an AI event agency. Describe an event, and it plans it, books the venue and the professionals, takes payment, sells the tickets and runs the door.
- Describe
- Plan
- Book
- Pay
- Tickets
- Door
We’ve been organising events for a couple of years, and we built the tool we kept wishing we had. I co-founded it and built most of it: the Flutter apps for guests and for organisers and door staff, the Next.js web app and Studio dashboard, the Firebase back end, the AI broker that plans the event and works through the venues and suppliers, a recommender, and the scrapers that map the city’s venues and professionals.
Publications
Four formalisations in the Archive of Formal Proofs, which a computer checks line by line, and three papers on arXiv. Everything is open, so read as much or as little as you like. Google Scholar has 6 citations and an h-index of 2.
- 2026Comparative Evaluation of SDP, SOCP, and QC Convex Relaxations for Large-Scale Market-Based AC Optimal Power FlowarXiv:2602.14136 · PDF
- 2026Factor Engine: A Python Library for Systematic Financial Factor Computation and AnalysisarXiv:2602.14138 · PDF
- 2024Doob’s Upcrossing Inequality and Martingale Convergence TheoremArchive of Formal Proofs · PDF
- 2023MartingalesArchive of Formal Proofs, from my bachelor’s thesis · PDF · cited by 2
- 2023A Formalization of Martingales in Isabelle/HOLarXiv:2311.06188 · PDF · cited by 3
- 2023Eudoxus RealsArchive of Formal Proofs · PDF
- 2022Sauer–Shelah LemmaArchive of Formal Proofs · PDF · cited by 1
Thesis
Master’s thesis, due in November. An excess-loss bound for Nyström-approximated spectral learning that covers Barlow Twins, SimCLR and VICReg in one theorem.
Work
- 2024 – 26Volue Trading Advisory. Forecasting models for intraday power prices, and the dashboard they run on.
- 2022 – 24Research assistant at TU Munich, formal verification.
- 2022Infineon, MLOps on a speech recognition model.
- 2020 – 22Tutor at TU Munich: OCaml, discrete maths, Java.
Contact
Say hi at ata.keskin@gmail.com.
If you’re working on something hard, I’d like to hear about it.