Miguel Ojeda

Spain

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Miguel Ojeda is a seasoned software engineer with 26 years of experience specializing in low-level systems, DevOps, and Rust integration within the Linux kernel ecosystem. Based in Spain, he has contributed to high-profile open-source projects including rust-lang/rust, rust-bindgen, and the Linux kernel, where he focused on CI/toolchain integration, kernel builds of Rust code, and time-related kernel fixes. His work at CERN (2010–2018) and long-term involvement in kernel CI reveal a strong background in reproducible builds, cross-version testing, and tooling that bridges compiler and OS boundaries. Notably, he helped evolve bindgen’s CI to validate builds against multiple Linux kernel versions, demonstrating a pragmatic approach to maintaining compatibility across shifting toolchains.

26 years of coding experience

7 years of employment as a software developer

Universidad de Valladolid

English, Spanish, French

Github Skills (25)

github-ci10

clippy10

bash10

linux-kernel10

cicd10

kernel10

kernel-mode10

rust10

githubaction-workflow10

devops10

build-script9

dockers9

codegen9

docker9

ffi9

Programming languages (16)

C++CSSCRustPerlHTMLTypeScriptDockerfile

Github contributions (5)

rust-lang/rust-bindgen

Sep 2020 - May 2026

Automatically generates Rust FFI bindings to C (and some C++) libraries.

Role in this project:

DevOps Engineer

Contributions:20 reviews, 7 PRs, 109 comments in 5 years 9 months

Contributions summary:Miguel focused on integrating and testing the `bindgen` project with the Rust for Linux kernel. They added CI tests to build `bindgen` with the kernel, starting with a build-only test and then evolving it to test with the latest kernel releases. The user updated the CI configuration to use different versions of the Linux kernel as the project progressed. This involved modifying build scripts and adjusting the toolchain to align with different kernel versions and dependencies.

cppffirustbindingscodegen

rust-lang/rust

Jan 2021 - Dec 2022

Empowering everyone to build reliable and efficient software.

Role in this project:

DevOps Engineer & Rust Developer

Contributions:99 reviews, 32 commits, 39 PRs in 1 year 11 months

Contributions summary:Miguel primarily focuses on integrating Rust code within the Linux kernel's build and CI/CD processes. Their contributions include configuring and improving the continuous integration for the Rust for Linux project, which involves building the Rust compiler, building Rust code within the kernel, and generating documentation. They also made changes to include new build targets, format the code, add the Clippy tool to perform linting, and updated the CI to accommodate new versions of the Linux kernel.

crategarbage-collectionrustreliablecompiler

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.

Request Free Trial