RESEARCH
SPLASH (OOPSLA) SRC 2023 Synthesizing Recursive Programs through Dataflow Constraints
Marta Davila Mateu.
To be submitted to OOPSLA 2024 DROSTE - A general approach for Recursive Program Synthesis
Marta Davila Mateu, Amirmohammad Nazari, Arjun Radhakrishna, Mukund Raghothaman.
Undergrad thesis Game Theory of Fishing: Sustainable Fishing Policies and its Worldwide Effects
Marta Davila Mateu. Supervised by Frank Thuijsman and Kateřina Staňková.
Research thesis Intelligent Robotic Game Device for the Assessment of Cognitive and Physical Capabilities in Children
Frederik Calsius, Marta Davila Mateu, Marion Meyers, Albert Negura, Hermann Ritter, Ryan Yared.
Research project LDS-TOOL: Legal Decision Support Tool
Marta Davila Mateu, Isabella Renirie.