Gödel’s Poetry
Kelly Davis. (2025). "Gödel's Poetry." arXiv Pre-print.
Co-Founder / CEO, Coqui, Berlin, Germany (2020–2023)
Led strategy, fundraising ($3.3M), and product. Coqui TTS (Tortoise, VITS, XTTS), Coqui Studio (generative AI voices, cloning, fusion). Best open-source TTS (2M+ downloads/month, 40K+ GitHub stars). Languages: Python, C++, JavaScript. Tech: TensorFlow, PyTorch.
Manager, Machine Learning Group, Mozilla, Berlin, Germany (2016–2020)
Strategy, finance, partnerships, and technical leadership. Projects: Deep Speech (WER 5.97% LibriSpeech clean), Mozilla TTS (Tacotron, Tacotron2, MelGAN, etc.), Common Voice, Snakepit, DSAlign. Principal investigator for Bergamot (NMT, 3M€), Papa Reo (7.4M€), SIFIS-Home (5M€), NSF internships. Languages: Python, C++, JavaScript. Tech: TensorFlow, PyTorch.
Senior Software Engineer, Mozilla, Berlin, Germany (2015–2016)
Personal assistant for Firefox OS, Web Speech API, PocketSphinx, MaryTTS. Languages: C++, JavaScript.
Director of Machine Learning, So1, Berlin, Germany (2013–2015)
ML for retail/coupon targeting: benchmarking, deep learning (Pylearn2), collaborative filtering (PREA, GraphLab/GraphChi), build and CI. Languages: R, C++, Java, Python, Scala.
Founder / CTO, forty.to, Berlin, Germany (2011–2013)
Natural language interface to knowledge. UIMA++ (parallel NLP platform), QAServer, iOS/Chrome QA apps. Languages: C, C++, Objective C.
Senior Software Engineer, mentalimages/NVIDIA, Berlin, Germany (2004–2011)
3D rendering: DiCE, neuray, RealityServer (C++/JavaScript APIs). Languages: C, C++, JavaScript.
Research Programmer, Max-Planck-Institut für Gravitationsphysik, Golm, Germany (2002–2004)
Grid Application Toolkit (GAT), GridLab. Languages: C, Java, C++.
Senior Software Engineer, Semantic Edge, Berlin, Germany (2001–2002)
NLU/NLG: Knowledge Manager (abductive translation to SQL), Dialog IDE. Languages: Java, Prolog.
Kelly Davis. (2025). "Gödel's Poetry." arXiv Pre-print.
Edresson Casanova, Kelly Davis, Eren Gölge, Görkem Göknar, Iulian Gulea, Logan Hart, Aya Aljafari, Joshua Meyer, Reuben Morais, Samuel Olayemi, Julian Weber. (2024). "XTTS: a Massively Multilingual Zero-Shot Text-to-Speech Model." INTERSPEECH 2024.
Rishi Bommasani, Kelly Davis, Claire Cardie. (2020). "Interpreting Pretrained Contextualized Representations via Reductions to Static Embeddings." ACL 2020.
Rosana Ardila, Megan Branson, Kelly Davis, Michael Henretty, Michael Kohler, Josh Meyer, Reuben Morais, Lindsay Saunders, Francis M. Tyers, Gregor Weber. (2020). "Common Voice: A Massively-Multilingual Speech Corpus." LREC 2020.
Kelly Davis. (2014). "Amazon Elastic Compute Cloud vs Andrews–Curtis Conjecture." Work in progress.
Kelly Davis. (2011). "Axiomatic TQFT, Axiomatic DQFT, and Exotic 4-Manifolds." Quantum Topology (submitted).
Gabrielle Allen, Kelly Davis, Tom Goodale, Andrei Hutanu, Hartmut Kaiser, Thilo Kielmann, André Merzky, Rob van Nieuwpoort, Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Ed Seidel, Brygg Ullmer. (2005). "GAT: Towards Generic and Easy Application Programming Interfaces for the Grid." Proceedings of the IEEE. 93(3), 534–550.
Gabrielle Allen, Kelly Davis, Konstantinos N. Dolkas, Nikolaos D. Doulamis, Tom Goodale, Thilo Kielmann, André Merzky, Jarek Nabrzyski, Juliusz Pukacki, Thomas Radke, Michael Russell, Ed Seidel, John Shalf, Ian Taylor. (2003). "Enabling Applications on the Grid: A GridLab Overview." Int. J. High Per. Comp. App..
Kelly Davis and Robert Di Marco. (2001). "Manage Distributed Sessions." Java World (now InfoWorld).
Kelly Davis. (1999). "Study of M-Theoretic Alcubierre Type Warp Drive." Proceedings NASA Breakthrough Propulsion Workshop (NASA/CP-199-208694).
Kelly Davis. (1997). "Generalized Topological Sigma Model." Section of Ph.D. Thesis. hep-th/9703113.
Kelly Davis. (1996). "M-Theory and Enhanced Gauge Symmetry." Section of Ph.D. Thesis. hep-th/9601102.
Kelly Davis. (1994). "A-Genus and the Sigma Model." Rutgers Mathematics/Physics Conference. hep-th/9406023.
Keynote at International Symposium on Linguistic Patterns in Spontaneous Speech, Taipei, Taiwan
Invited talk at European Language Grid Conference, Brussels, Belgium
Keynote at Celtic Language Technology Workshop, Dublin, Ireland
Conference talk at RE•WORK Deep Learning Summit, Boston, USA
Conference talk at RE•WORK Deep Learning Summit, Boston, USA
Meetup talk at Taipei Machine Learning Meetup, Taipei, Taiwan
Meetup talk at Berlin Machine Learning Meetup, Berlin, Germany
Meetup talk at Berlin NLP Meetup, Berlin, Germany
Conference talk at Big Data Week Berlin, Berlin, Germany
Summer school lecture at GGF Summer School, Vico Equense (Naples), Italy
Conference talk at GGF Seattle, Seattle, WA, USA
Summer school lecture at GGF Summer School, Vico Equense (Naples), Italy
Lecture series at National e-Science Centre, Edinburgh, Scotland