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.