Michalis Pappas is a Test Automation Engineer with 12 years of software and systems experience, currently based in the Stuttgart region and focused on delivering reliable test automation for safety-critical rail systems. He brings deep low-level and embedded expertise from significant open-source contributions to projects like Unikraft and ARM Trusted Firmware, where he implemented security hardening (PAuth, BTI), ticketlocks for AArch64, and Trusted Board Boot support. His background spans software development and DevOps IVVQ roles at Thales and Würth IT, demonstrating a blend of firmware, hardware debugging, and automation skills. Transitioning from an earlier career in physics education, he applies analytical rigor and clear communication to complex integration and verification tasks. Michalis is comfortable operating at the intersection of test automation, embedded systems, and security-conscious engineering, with proven ability to move from kernel-level patches to system-wide verification. Colleagues rely on him for dependable, security-minded solutions that bridge development and verification in regulated environments.
12 years of coding experience
10 years of employment as a software developer
Master’s Degree Environmental Physics, Master’s Degree Environmental Physics at Ethnikon kai Kapodistriakon Panepistimion Athinon
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
Role in this project:
Back-end & Systems Engineer
Contributions:935 reviews, 22 commits, 102 PRs in 11 months
Contributions summary:Michalis's commits primarily involve low-level systems programming within the Unikraft kernel, including enhancements to locking mechanisms with the introduction of ticketlocks for AArch64 and the addition of support for Pointer Authentication (PAuth) and Branch Target Identification (BTI) to harden the kernel's security. The contributions also include implementing processor-generated randomness and refactoring and adapting to newly introduced API. Furthermore, contributions involve device-tree integration with the bootinfo stage.
Contributions:10 commits, 11 PRs, 15 comments in 1 year 6 months
Contributions summary:Michalis primarily contributed to the Trusted Firmware-A (TF-A) project, focusing on enhancing the QEMU platform support. Their work involved adding support for Trusted Board Boot (TBB), which includes generating and reading security certificates. The user also implemented support for separate code and read-only data regions and stack canary protection, indicating a focus on secure firmware development. Furthermore, the user addressed UART1 access issues and added a define for UART2, showcasing hardware interaction and debugging skills.
trustedread-onlyfirmwareembedded
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.