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.