Dr. Christian Keil is a Principal Researcher at DFN-CERT, Germanys National Research and Education Network security team. An alumnus of the Hamburg University of Technology, his expertise is in network security, backed by a Ph. D. focused on verified computing and linear programming.
He has a keen interest in different professional environments, having spent time as a guest researcher at Waseda University in Japan with the specific goal of experiencing a new working culture.
Unique fact: As part of his dissertation, he single-handedly developed a verified linear programming solver named "Lurupa" from approximately 8, 000 lines of code.