Ehningen, Baden-Württemberg, Germany
I protect the world's mainframes against the threat posed by quantum computers. Post-quantum cryptography, security, Linux on Z @ IBM Deutschland Research & Development. Research in arithmetic geometry, both purely theoretical and computational: Keywords: Birch–Swinnerton-Dyer conjecture, rational points on modular curves. timo-keller.de | https://github.com/TimoKellerMath (academic-style code for the computational projects) More keywords: (hyper)elliptic curves, abelian varieties, Iwasawa theory, Galois representations, (p-adic) L-functions, étale cohomology, p-adic cohomology theories, inverse Galois theory, modular curves, rational points, explicit methods, computer algebra, Magma, Sage/Python. In my free time, I devote myself to classical music, especially Johann Sebastian Bach.
Post-quantum cryptography, security, Linux on Z
* research on the Birch–Swinnerton-Dyer conjecture (computational and theoretical) and rational points on modular curves * development and implementation of algorithms * teaching a variety of courses to Bachelor and Master students * giving research talks * organizing a workshop on the Magma computer algebra system * mentoring gifted high-school students * giving a course on a Girls' Day
Horizon Europe Framework Programme, project "Explicit methods for rational points" (at the Universities of Groningen and Leiden) * research on the Birch–Swinnerton-Dyer conjecture (computational and theoretical) and rational points on modular curves * development and implementation of algorithms * teaching "Advanced algebraic structures", "Project coding and security", "Linear Algebra for Computer Scientists" * supervision of a Master and a Bachelor student in Iwasawa theory, and a Bachelor student in inverse Galois theory * giving talks
* research on the Birch–Swinnerton-Dyer conjecture (computational and theoretical) and rational points on modular curves * development and implementation of algorithms * teaching "Elementary Number Theory" for Master of Education * giving talks
partially funded by DFG-Sachbeihilfe "Exact verification of the BSD conjecture for many absolutely simple abelian surfaces" * research on the Birch–Swinnerton-Dyer conjecture (computational and theoretical) and rational points on modular curves * development and implementation of algorithms * teaching "Brauer groups in arithmetic geometry", "Introduction to modular curves and modular forms" * giving talks