Safety-Critical Rust

Hi, I’m Marcos Borges

Senior Robotics Engineer

For over 15 years, I have engineered autonomous systems for the medical, aerospace, and defense sectors. Today, I research Rust interoperability with C and C++ in safety-critical systems.

3 areas I help embedded engineers master safety-critical systems

Embedded Software

Hardening Rust interoperability with C and C++ via compiler diagnostics, static analysis, and verification testing.

Robotics and Perception

Designing deterministic algorithms for real-time sensor fusion, state estimation, and object tracking under mission-critical constraints.

Functional Safety

Developing software for systems governed by ISO 26262 (automotive), DO-178C (aerospace), and IEC 62304 (medical).

Words from Colleagues

Marcos Borges - Fusion 2016, Heidelberg, Germany

I am deeply grateful for Marcos’s support during our time at ENGIE. He is a dedicated, pleasant colleague whose novel ideas in object tracking algorithms were essential to my master’s thesis and our highly-ranked KITTI Challenge tracker.

Nicolas Franco Gonzalez

MSc AI, Imperial

I worked with Marcos at Safran. He had a knack for suggesting new applications and connections between his work and the company’s products. His technical and personal skills would make him a great asset to any team.

Mahmoud Ghoniem

Senior Research Engineer, Safran

It was a pleasure working with Marcos. He is exceptional at computer vision. His initiative was crucial in improving our department, and his detailed project documentation ensured effective knowledge transfer.

Gisela Lechuga

Computer Vision Engineer, ENGIE

Words from Colleagues

Nicolas Franco Gonzalez

MSc AI, Imperial

Mahmoud Ghoniem

Senior Research Engineer, Safran

Gisela Lechuga

Computer Vision Engineer, ENGIE

The Safety Stack

Join fellow engineers getting 1% sharper every week on safety-critical software. Master Rust interoperability with C and C++ for the automotive, aerospace, and medical sectors.

You can opt out anytime.

Safety-Critical Rust

Hi, I’m Marcos Borges

3 areas I help embedded engineers master safety-critical systems

Embedded Software

Robotics and Perception

Functional Safety

Words from Colleagues

Words from Colleagues

The Safety Stack

Marcos Borges, PhD