Dr. Hanno Becker
Angestellt, Senior Security Engineer, Mbed TLS, ARM Ltd.
Cambridge, Vereinigtes Königreich
Werdegang
Berufserfahrung von Hanno Becker
Bis heute 7 Jahre und 3 Monate, seit Apr. 2017
Senior Security Engineer, Mbed TLS
ARM Ltd.
Contributing to the open source library Mbed TLS, part of the Mbed ecosystem. Code Audit, Vulnerability Analysis, Design and implementation of new features, Code maintenance, Community support
1 Jahr und 2 Monate, Aug. 2015 - Sep. 2016
Formal Methods Staff Engineer, Kernel Verification
FireEye, Inc.
Working on auditing, testing and formally verifying a virtualization microkernel. The project was stopped in August 2016. Responsibilities: Formal Verification with Coq, Model based testing with OCaml, Code audit, Vulnerability analysis, Low-level test infrastructure design & implementation in x86 Assembly, C, C++
4 Jahre und 3 Monate, Apr. 2011 - Juni 2015
Wissenschaftlicher Mitarbeiter
Universität Bonn
Planung und Betreuung von Bachelor- und Masterseminaren in Algebra, Logik und Topologie. Vorlesungsassistent Algebra.
Ausbildung von Hanno Becker
4 Jahre und 1 Monat, Apr. 2011 - Apr. 2015
Mathematik
Universität Bonn
Abschlussnote 0.7
4 Jahre und 6 Monate, Okt. 2006 - März 2011
Informatik
Rheinische Friedrich-Wilhelms-Universität Bonn
Abschlussnote 1.0
4 Jahre und 6 Monate, Okt. 2006 - März 2011
Mathematik
Rheinische Friedrich-Wilhelms-Universität Bonn
Abschlussnote 1.0 mit Auszeichnung
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Französisch
Grundlagen