Pat Bernardi

New York, New York, United States

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

Pat Bernardi is a Senior Software Engineer focused on developer experience, currently at Bloomberg and formerly leading AdaCore’s bare-metal toolchain team. With nine years of experience and a PhD-rooted background in electronics and computer science, he specializes in compilers, language runtimes, and OS technology for embedded systems across Arm, RISC-V, PowerPC, Morello and x86 platforms. He has hands-on experience delivering and certifying Ada runtimes for safety-critical domains (DO-178C, EN 50128, ISO 26262) and has driven customer engagements that secured contracts up to $1M, including work that helped onboard NVIDIA. An active contributor to the GCC Ada front-end, his patches improved Ada support for RTOSes like VxWorks and RTEMS, addressing interrupt, tasking, and atomic primitive portability. Comfortable in a 40% management / 60% individual contributor split, he pairs technical depth with team coaching and cross-functional collaboration. He deliberately chooses embedded and safety-critical systems over web development, bringing an electronics engineer’s perspective to systems software.

9 years of coding experience

Australian National University

Github Skills (9)

embedded10

ada10

vxworks10

sys10

compiler-development9

rtems9

operating-system8

arm7

i3866

Programming languages (2)

C++Ada

Github contributions (5)

gcc-mirror/gcc

Jun 2020 - Jun 2020

Role in this project:

Back-end Developer

Contributions:1 commit in 1 day

Contributions summary:Pat primarily contributed to the GCC compiler's Ada front-end. Their work focused on improving the compiler's interaction with the VxWorks real-time operating system, including updating API calls for newer versions and handling environment variables. Additionally, the user made adjustments to code related to interrupt handling, tasking, and atomic primitives for various targets, including RTEMS. These changes aimed to enhance the Ada compiler's compatibility and efficiency across different embedded systems environments.

AdaCore/bb-runtimes

Aug 2017 - Dec 2022

Contributions:175 commits in 5 years 4 months

bare-metalmetalbaregnat

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