SPLASH (OOPSLA) SRC 2023             Synthesizing Recursive Programs through Dataflow Constraints

                                     Marta Davila Mateu.

​

To be submitted                      DROSTE - A general approach for Recursive Program Synthesis 

                                     Marta Davila Mateu, Amirmohammad Nazari, 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 Capabilities in Children

                                     Frederik Calsius, Marta Davila Mateu, Marion Meyers, Albert Negura, Hermann Ritter.

​

Research project                     LDS-TOOL: Legal Decision Support Tool

                                     Marta Davila Mateu, Isabella Renirie.