top of page

RESEARCH

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, 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.

bottom of page