Research Fellow at Budapest University of Technology and Economics
Budapest, Hungary
Join Prog.AI to see contacts
Join Prog.AI to see contacts
Summary
🤩
Rockstar
🎓
Top School
Kristóf Marussy is a research fellow and PhD candidate in software engineering at Budapest University of Technology and Economics with 14 years of professional experience in secure, reliable systems and formal verification of extra-functional properties for reconfigurable systems. He combines academic rigor with hands-on engineering, contributing to widely used open-source projects like Ferdium (full‑stack and front‑end improvements) and firejail (security hardening and sandbox enhancements). His work spans frontend UX fixes and backend/system-level hardening—evident in fixes for race conditions, webview capture, D‑Bus filtering, and fexecve-based protections. Based in Budapest, he brings a pragmatic research mindset to production code, often turning formal verification insights into concrete, deployable safety and usability improvements.
14 years of coding experience
Doctor of Philosophy - PhD, Software Engineering, Doctor of Philosophy - PhD, Software Engineering at Budapest University of Technology and Economics
Contributions:1 review, 37 commits, 13 PRs in 11 months
Contributions summary:Kristóf primarily focused on enhancing the `firejail` security sandbox. Their contributions included refactoring code to allow running programs with dynamic argument lists, adding options for DHCP network configuration, and implementing features to support D-Bus filtering. They also implemented hardening measures, such as checking executable ownership and using `fexecve`, and added logging capabilities for D-Bus interactions. The user's work improved the overall security and usability of the firejail sandbox.
Recipes encapsulate your favourite apps into Ferdium for unified notifications handling and more
Role in this project:
Front-end Developer
Contributions:14 commits in 11 months
Contributions summary:Kristóf primarily contributed to the user interface integration within the Ferdium application. Their work included modifying existing recipes, specifically for services like Skype, Gmail, Pleroma, Google Calendar, Google Drive, Microsoft Teams, DevRant, and others. The changes focused on context isolation support and improving the functionality, such as fixing unread count detection and enhancing the display of instance logos within the Ferdium framework.
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.