Bio
Dr. Christian Kissig is a Postdoctoral Research Associate at the University of Kent, funded through the CHERIoT Rust project. His research applies formal verification to security-critical systems with a focus on automation and AI integration.
Dr. Christian Kissig is a Postdoctoral Research Associate at the University of Kent, funded through the CHERIoT Rust project. His research applies formal verification to security-critical systems with a focus on automation and AI integration.