Max Robotics — Global Service Robot Directory + US Certification

About

Jakub Lojda is a researcher specializing in fault tolerance, functional verification, and FPGA-based system design, with a particular focus on safety-critical electronic systems in domains such as space, aerospace, and medicine. His work addresses a fundamental challenge in modern engineering: ensuring that complex electronic systems continue to operate reliably even when hardware faults occur. Lojda's most significant contribution is the development of a functional verification-based platform for evaluating fault tolerance properties, his most cited work with 15 citations. This framework enables rigorous testing of how faults propagate through electro-mechanical systems, using SRAM-based FPGAs as an experimental testbed. A recurring application throughout his research is a robot controller navigating a maze — an elegantly practical benchmark for stress-testing fault tolerance techniques under realistic conditions. Beyond verification methodology, Lojda has explored High-Level Synthesis (HLS) approaches, investigating how redundant data types and majority voting schemes can be systematically introduced to improve system resilience. His reliability analysis of FPGA-based controllers further demonstrates a commitment to translating theoretical fault tolerance concepts into deployable engineering solutions. With over 35 cumulative citations across seven publications, Lojda's work offers valuable tools and insights for engineers designing dependable embedded systems in high-stakes environments.