Zsófia Ádám
PHD Student at Budapest University of Technology and Economics
Érd, Hungary
Summary
👤
Senior🎓
Top SchoolZsófia Ádám is a PhD student in Software Engineering at Budapest University of Technology and Economics with nine years of hands-on experience in formal verification and software model checking. She began contributing to academic research as a secondary student in the Fault Tolerant Systems Research Group and continues to develop open-source verification tools while teaching undergraduate courses in multiple languages. Her GitHub work includes extending BenchExec—an established benchmarking framework—by adding and refining tool descriptions for verification tools like gazer-theta and theta, demonstrating practical expertise in benchmarking and tool integration. Zsófia balances research with applied engineering experience from industry internships and long-term teaching assistant roles, giving her a strong mix of theoretical depth and pragmatic implementation skills. Colleagues describe her as a meticulous engineer who anticipates tooling needs and improves reproducibility in verification workflows.
9 years of coding experience
Bachelor's degree, Computer Software Engineering, Bachelor's degree, Computer Software Engineering at Budapest University of Technology and Economics
German, English
Github Skills (12)
benchmarking10
google-benchmark10
benchmarkdotnet10
benchmark10
microbenchmark10
python10
benchmarkjs10
performance-measurement9
resource-management9
measurement9
testing7
test-framework7
Programming languages (6)
Github contributions (5)
sosy-lab/benchexec
Oct 2020 - Nov 2022
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Role in this project:
Backend Developer
Backend DeveloperContributions:2 reviews, 8 commits, 2 PRs in 2 years 1 month
Contributions summary:Zsófia primarily contributed to the development and maintenance of tool information files related to benchmarking tools within the BenchExec framework. They added and updated tool descriptions for `gazer-theta` and `theta`, which involved defining executables, command-line arguments, and result interpretation logic. Their work included bug fixes, formatting adjustments, and incorporating property file handling, demonstrating a focus on extending BenchExec's capabilities with new verification tools.
cgroupsbenchmarkingpythonlinuxbenchmark-framework
AdamZsofi/gamma
Jun 2022 - Dec 2024
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Contributions:10 PRs, 25 pushes, 1 branch in 2 years 6 months
component-basedreactive-systemseclipsejavamodeling
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.