Michael Murphy

Software Engineer at System76

Lower Silesian Voivodeship, Poland
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Michael Murphy is a software engineer with 12 years of experience who maintains Pop!_OS and develops COSMIC at System76, focusing on Rust-powered Linux desktop tooling. He blends front-end GNOME Shell extension work with low-level and cross-platform contributions—implementing window management in iced, enhancing a fast fd replacement, and improving Rust UI toolkits like OrbTk and Relm4. Known for pragmatic bug fixes and thoughtful refactors, he routinely unravels signal/property issues, DBus integrations, and event handling to improve UX and reliability. Based in Lower Silesia, Poland, he pairs a practical IT foundation (Associate’s with a 4.0 GPA) with a track record of cross-repo open-source impact that spans UI, backend utilities, and native windowing.
code12 years of coding experience
bookAssociate's Degree, Information Technology, 4.0 GPA, Associate's Degree, Information Technology, 4.0 GPA at Cossatot Community College of the University of Arkansas
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (37)

web-widgets10
javascript10
shell-extension10
event-handling10
widgets10
user-interface10
ui-design10
regex10
graphic10
gnome-shell-extensions10
elm10
uid10
winit10
gtk10
front-end-development10

Programming languages (29)

CDCMakeMakefileGoHTMLFreeMarkerTypeScript

Github contributions (5)

github-logo-circle
GNOME Shell extension. See cosmic-epoch for COSMIC Epoch
Role in this project:
userFront-end Developer
Contributions:6 reviews, 10 commits, 14 PRs in 1 year 3 months
Contributions summary:Michael primarily focused on fixing bugs and improving the functionality of the GNOME Shell extension. Their work included addressing issues related to the display and behavior of the top bar buttons, specifically focusing on the correct unbinding of properties and removal of signals. They also worked on improving the applications view by disabling the search function and managing the overview. Finally, they made fixes related to the dock manager and DBus service integration.
gnome-shell
redox-os/orbtk

Nov 2018 - Nov 2019

The Rust UI-Toolkit.
Role in this project:
userFull-stack Developer
Contributions:30 commits, 1 push, 2 comments in 1 year
Contributions summary:Michael primarily focused on implementing UI and functionality improvements within the OrbTk Rust UI-Toolkit. They made key contributions to the event handling system and UI interaction, specifically implementing From and ToString traits for the Key enum. Furthermore, they addressed clippy warnings and refactored code for better performance, improving code readability and efficiency. The user also refactored and updated layout functionality.
rustui-toolkitcross-platformentity-componentrust-lang
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