Kristóf Marussy

Research Fellow at Budapest University of Technology and Economics

Budapest, Hungary
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
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.
code14 years of coding experience
bookDoctor of Philosophy - PhD, Software Engineering, Doctor of Philosophy - PhD, Software Engineering at Budapest University of Technology and Economics
github-logo-circle

Github Skills (30)

debugging10
debug10
sandbox10
javascript10
webview10
system-programming10
electron10
typescript10
linux10
c1110
ui-design10
networking10
security10
c1710
uid10

Programming languages (15)

JavaCSSC++CRustTeXGoPerl

Github contributions (5)

github-logo-circle
netblue30/firejail

Dec 2019 - Nov 2020

Linux namespaces and seccomp-bpf sandbox
Role in this project:
userBack-end & System Developer
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.
bpfseccomplinuxnamespacessandbox
ferdium/ferdium-recipes

Oct 2020 - Sep 2021

Recipes encapsulate your favourite apps into Ferdium for unified notifications handling and more
Role in this project:
userFront-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.
Request Free Trial