Marvin Häuser Email & Phone Number

Kaiserslautern, Rp, De

Stadt Kaiserslautern, Rhineland-Palatinate, Germany

Member of the Embedded Systems Group. Co-organizer of the “Parallel Computing” course for concurrent algorithms and hardware networks. Supervising academical theses and projects.https://es.cs.rptu.de/people/haeuser/

Stadt Kaiserslautern, Rhineland-Palatinate, Germany

Software Development Project tutorship, teaching and advising second year students to develop an industry-grade project.

Stadt Kaiserslautern, Rhineland-Palatinate, Germany

C programming tutorship, assignment and general support for first year students, teaching practical skills.

Https://Github.Com/Acidanthera

Organization administration and software engineering, mainly for the OpenCore bootloader and the Acidanthera UEFI Development Kit.

Saarbrücken, Saarland, Germany

Tutor for the Cryptography lecture by CISPA, giving weekly teaching and exercise sessions to Bachelor‘s and Master’s students.

Integration of a PE/COFF loader designed with formal methods and related security hardening into EDK II.https://summerofcode.withgoogle.com/projects/#6543685853904896

Kaiserslautern, Rhineland-Palatinate, Germany

Continuous Integration and Auto DevOps using GitLab and Docker. Portable development environment using Docker. Server service installation and maintenance, partially using Docker. Code safety validation using industry tooling (ASan, UBSan, …).

Moscow, Moscow City, Russia

Engineering, formal verification, and testing of a firmware PE/COFF Image Loader library. Presented at Ivannikov ISP RAS Open Conference 2020.Conference talk recording available at https://www.ispras.ru/conf/2020/video/compiler-technology-10-december.mp4

Hargesheim, Rhineland-Palatinate, Germany

Marketing consultation and design of various print and digital media.

Various contributions to the Ozmosis bootloader, including adding support for Apple bless, APFS, as well as improving support for FileVault 2, boot hotkeys, and AMI Aptio UEFI compatibility.

Doctor Of Engineering - Dr.-Ing., Computer Science

Activities and Societies: Introductory week organizationConducted at the Embedded Systems Group. Topic: "Safe and Secure Embedded Systems"

Master Of Science - Ms, Computer Science, 1.3 (Cgpa 3.8)

Activities and Societies: Student mentor, introductory week organisationSpecializations in Software Engineering (incl. Verification).

Cybersecurity

Cybersecurity courses to complement the Software Engineering and Embedded Systems specializations of the Computer Science studies..

Bachelor Of Science - Bs, Computer Science

Activities and Societies: Student mentor, introductory week organisationSpecialization in Software Engineering. Slight focus on formal.