Bio

Dr. Christian Kissig is a Postdoctoral Research Associate at the University of Kent specializing in verification algorithms and AI-assisted proof automation. He previously spent five years as a Senior Software Development Engineer at Amazon Prime Video, where he scaled tier-1 services and implemented reinforcement learning systems. Earlier, he served as Software Architect at Oracle, launching the Oracle Virtual Assistant Cloud Service. Christian holds a PhD in Computer Science from the University of Leicester and has four granted patents in natural language processing and personalization systems.