The Summer of Research program aims to enrich the training experience of early-stage students and support the development of future researchers through hands-on and mentored research projects.

When: July 21, 10:30-15:30
Where: Ciências ULisboa, Room 6.3.27

Agenda:
10h30-12h00 Pitch Talk Group 1:
An exploration of Just-in-Time compilation (João Rodrigues)
Coverage-Optimal Fault-Tolerant Swarm of UAVs (Guilherme Santos)
Drones powered by Android (Helton Mendonça)
Drones powered by Android (João V. Rodrigues)
Remote Grandparenting: Telepresence Robots for Family Connection and Shared Agency in the Home (Rita Oliveira)
Remote Grandparenting: Telepresence Robots for Family Connection and Shared Agency in the Home (Chenxie Sun)
Testing Message-passing Concurrent Programs (Rafael Figueiredo)
Exploring the integration of open Parkinson’s data for Multimodal Patient centric learning (Sebastião Cancela)
Robots for Good: Exploring Altruism, Identity, and Perception in Elder Care and Community Settings (João Dias)

12h00-13h30 Lunch break and discussion

14h00-15h30 Pitch Talk Group 2:
Co-Designing Customizable and Adaptable Intelligent Virtual Agents (IVAs) with Neurodivergent Individuals to Support Their Emotional Regulation (Daniel Ribeiro)
Solving the ARC Challenge with Genetic Programming (Paulo Silva)
Improving the Usability of the Æon Programming Language (Diogo A. Sousa)
Making Blossom Robots (Diogo Saraiva)
Making Blossom Robots (Jorge Ferreira)
Specification Synthesis of Liquid Types using Large Language Models (Márcio Milisse)
Legged Locomotion – pupper robot (João Bernardes)
Legged Locomotion – pupper robot (Gonçalo Garcias)
Legged Locomotion – pupper robot (Sofia Reia)
Theorem Synthesis (Francisco Lima)