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/

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

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

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

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

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, …).

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

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.