Hannu Lyytinen
System Architect at Unikie
Siilinjärvi, North Savo, Finland
Summary
👤
Senior🎓
Top SchoolHannu Lyytinen is a systems architect with 14 years of professional experience focused on virtualization, hypervisors and embedded platforms, currently advancing seL4-based virtualization at Unikie. He brings deep low-level expertise across ARM and RISC-V, Linux kernel internals, bootloaders, TEEs and power management, and has practical experience integrating virtio devices and SMMUv2 support for pKVM. His background spans automotive and industrial software roles plus a decade as a UNIX systems administrator, giving him a rare blend of operational rigor and formal-kernel ambition. Based in Finland and open to remote roles, he’s working toward replacing KVM with a formally verified microkernel hypervisor—an intention that signals both systems craftsmanship and a research-minded approach to production-grade security.
14 years of coding experience
21 years of employment as a software developer
Master's Degree, Computer Science, Master's Degree, Computer Science at Kuopion yliopisto
Finnish, English
Github Skills (30)
sel49
virtual-machine8
microkernel8
capability7
rapid-prototyping7
malloc7
yocto-layer6
prototyping6
languagetool6
lexical-analysis6
grammars6
pe-analyzer6
kernel-module6
yocto6
sarif6
Programming languages (8)
Github contributions (5)
tiiuae/tii_sel4_manifest
Dec 2021 - Mar 2024
Contributions:1 review, 6 PRs, 45 pushes in 2 years 3 months
tiiuae/tii-sel4-vm
Jan 2022 - Nov 2022
Contributions:16 reviews, 23 commits, 39 PRs in 10 months
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.