Luc Michel
Senior Software Engineer at AMD
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolLuc Michel is a senior software engineer and systems specialist with deep expertise in low-level software, virtualization, dynamic binary translation and SystemC-based virtual platforms. As former CTO of GreenSocs and author of the Rabbits simulation framework, he designed tight QEMU integrations that let QEMU components behave like native SystemC models, and he maintained platform ports such as Kalray's KVX before joining AMD. A long-time QEMU contributor, his notable upstream work includes ARM GICv2 virtualization extensions and multiprocess support in the QEMU GDB stub, reflecting a research-to-production trajectory that began during his PhD. He combines 15+ years of GNU/Linux and C experience with hands-on leadership in cross-disciplinary teams, and a knack for turning academic ideas about translator generation and instruction parallelism into practical tooling. Based in Grenoble, he blends research rigor with pragmatic engineering to solve challenging simulation and virtualization problems.
4 years of coding experience
9 years of employment as a software developer
DUT (2 years technical degree), Computer Science, DUT (2 years technical degree), Computer Science at IUT d'OrsayMaster's degree, Computer Science, Master's degree, Computer Science at Université Joseph Fourier (Grenoble I)Engineer's degree, Computer Science, Engineer's degree, Computer Science at Grenoble INP Ensimag
English, French
Github Skills (9)
linker4
elf4
kernel3
linux-kernel3
gcc2
linux2
branches2
alex2
qemu1
Programming languages (4)
Github contributions (5)
kalray/qemu
Dec 2021 - Jan 2022
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
Contributions:1 push, 1 branch in 19 days
linuxtarballsqemusubmitpull-requests
kalray/lao
Jan 2022 - Jan 2022
Contributions:1 push in 1 day
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.