Felipe Borges
Principal Software Engineer at Red Hat
Brno Metropolitan Area Czechia
Summary
👤
Senior🎓
Top SchoolFelipe Borges is a Principal Software Engineer with 16 years of experience specializing in GNOME and desktop Linux ecosystems, now based in Brno and leading engineering at Red Hat. He maintains core GNOME projects including GNOME Settings and GNOME Boxes and advocates for reducing Desktop Linux fragmentation through open source collaboration. His contributions to flatpak/xdg-desktop-portal—adding wallpaper and input-source integrations—illustrate a focus on deep desktop integration and pragmatic back-end fixes. A former GNOME Foundation board member, he organizes community programs like Google Summer of Code and Outreachy, blending technical leadership with mentorship. Felipe combines hands-on C/GTK development for real-world desktop environments with a proven track record of shipping stable system-level features used by millions of Linux users.
16 years of coding experience
10 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Universidade Federal de Pelotas
Github Skills (8)
codesandbox10
c1710
gdb10
sandbox10
linux10
flatpak10
c1110
dbus10
Programming languages (14)
Github contributions (5)
flatpak/xdg-desktop-portal
Jun 2019 - Oct 2019
Desktop integration portal
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 commits, 4 PRs, 14 comments in 4 months
Contributions summary:Felipe primarily contributed to the back-end functionality of the desktop integration portal. They addressed an issue where the "Background" portal options were not being handled, implementing a fix in the `request.c` file. The user also exposed the "org.gnome.desktop.input-sources" setting and added a wallpaper portal, modifying `src/settings.c` and `src/wallpaper.c` to accommodate the changes. These contributions suggest the user's focus on expanding the portal's features and interactions.
electronflatpakportalpantheongtk
felipeborges/gnome-shell-extension-patterns
Dec 2014 - Mar 2016
Contributions:4 releases, 48 commits, 7 PRs in 1 year 3 months
daywallpaper
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.