Filipe Marques
Researcher at INESC-ID
Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolFilipe Marques is a researcher and programming-languages enthusiast with eight years of experience building reliable software for automated reasoning and benchmarking. Based at INESC-ID in Lisbon, he focuses on software reliability within the ARSR unit while pursuing a PhD in Computer Science at Instituto Superior Técnico. His background includes practical internships at OCamlPro and Cloudflare where he worked on symbolic execution and privacy-focused engineering, and meaningful open-source contributions such as integrating WASP-C into the widely used BenchExec benchmarking framework. Filipe blends deep academic rigor with hands-on backend development, often improving tool integration, execution logic, and benchmark data models. Colleagues describe him as detail-oriented and pragmatic, able to reform and refactor codebases to increase maintainability and correctness.
8 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Instituto Superior Técnico
Github Skills (13)
measurement10
tooling10
benchmarking10
benchmark10
integrate10
resource-management10
python10
integrations10
performance-measurement10
benchmarkjs9
microbenchmark9
benchmarkdotnet9
google-benchmark9
Programming languages (10)
Github contributions (5)
sosy-lab/benchexec
Oct 2022 - Nov 2022
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4 reviews, 5 commits, 4 PRs in 1 month
Contributions summary:Filipe primarily contributed to the integration of the WASP-C tool within the BenchExec framework. Their work included adding tool information, adjusting the execution of WASP-C, and updating the result determination logic. Further contributions involved reformatting the code, removing unused imports and methods, and expanding the system to incorporate benchmark data models for the tool.
cgroupsbenchmarkingpythonlinuxbenchmark-framework
formalsec/smtml
Mar 2023 - Apr 2025
An SMT solver frontend for OCaml
Contributions:53 reviews, 378 PRs, 763 pushes in 2 years
alt-ergobitwuzlacolibri2cvc5ocaml
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.