C3Subtitles: Speaker: Daniel Ziegler

Daniel Ziegler

Daniel Ziegler is an aspiring security hacker studying at MIT. His interests range from algorithms contests (he once won the Bundeswettbewerb Informatik -- the German national computer science computetion -- and then switched countries to represent the US at the International Olympiad Informatics) to secure cryptographic protocols. His biggest interest is how to make software less terrible. At the moment, he is exploring formal verification through proof assistants such as Coq.

Infos

Event(s):
31. Chaos Communication Congress
Language(s):
English
Track(s):
Security & Hacking

Statistics

Nothing yet? :(
Create more subtitles!

0.0% Checking done0.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
100.0% Nothing done yet100.0%