Bachelor student of computer science at KIT, Karlsruhe. Wrote his bachelor's thesis about the verification of Pseudo-Random-Number-Generators.