Patrick Rogers
Senior Technical Staff at AdaCore
United States
Summary
👤
Senior🎓
Top SchoolPatrick Rogers is a veteran software engineer and technical leader with nearly five decades in computing and over 23 years focused on embedded and real-time systems, currently serving as Senior Technical Staff at AdaCore. He specializes in high-integrity, fault-tolerant distributed and embedded control systems, with deep hands-on experience in Ada, Arm firmware, RTOSes, and low-level driver development for STM32 platforms. Patrick has led DoD-funded R&D, directed avionics and NASA-related research programs, and convened the international Ada language standards working group, influencing Ada 2016. He pairs academic rigor—a DPhil in Computer Science—with practical delivery, from bare-board IDE teams to runtime libraries and device drivers. An award-winning contributor to the Ada community, he also maintains active open-source work improving Ada drivers for IMUs and sensors, showing a continued focus on hardware interaction and clean, reusable embedded abstractions. Less obvious: he has repeatedly bridged research and productization, turning prototype distributed fault-tolerance concepts into deployed avionics and space-capable software.
22 years of coding experience
12 years of employment as a software developer
DPhil, Computer Science, DPhil, Computer Science at University of YorkB.S., Computer Science, B.S., Computer Science at University of Houston-Clear Lake
Github Skills (17)
spi10
microcontroller10
gpio10
ada10
device-driver10
driver10
sys10
embedded10
stm10
acc9
i2c9
accelerometer9
imu8
real-time-systems8
integrate8
Programming languages (4)
Github contributions (5)
AdaCore/Ada_Drivers_Library
Sep 2015 - May 2022
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:25 reviews, 375 commits, 131 PRs in 6 years 9 months
Contributions summary:Patrick primarily focused on developing and refining the Ada drivers library for STM32 microcontrollers, specifically within the context of the `ada_drivers_library` repository. Their contributions involved renaming packages for convenience, simplifying and cleaning up code, supporting multiple channels per instance, and adding features for devices such as the LIS3DSH accelerometer and BNO055 IMU. The changes also involved configuring GPIO pins, SPI communication, and I2C, indicating a strong focus on hardware interaction and low-level driver development for various STM32-based hardware components.
adastm32platformssupportedgnat
AdaCore/Robotics_with_Ada
Apr 2017 - Mar 2020
Contributions:78 commits, 27 pushes, 1 comment in 2 years 11 months
adaroboticslegorosarm
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.