RSS Meetup

The Developer Experience of Robotics Software: Challenges and Opportunities

Sala 6.3.27, Ciências ULisboa
Título, data, oradores e localização do evento

Por Paulo Santos, Miguel Tavares e Ricardo Cordeiro (LASIGE).

Robotic systems help the users in many dull, dirty, or complex tasks by automating some of its systems, like the landing train in a plane. The need for faster development of robotic systems while keeping their safety led to the introduction of different software frameworks, such as the Robot Operating System (ROS). ROS allows the development of robotics software by developers without the need for the full complex robotics domain knowledge. ROS contains several highly decoupled libraries, allowing one to reuse different software components to develop their robotic system quickly. Nevertheless, these systems are still dependent on the robotics domain area and the programmers’ experience. In this talk, we further motivate ROS introduction and provide an overview of the different underlying architectural styles, the overall system design, and the identification of common mistakes during development. This talk also motivates the discussion on improving these systems with a live demonstration of an (almost!) fully functional robot.

Bios:

  • Paulo Santos is a Dual Degree PhD student at the Faculdade de Ciências da Universidade de Lisboa (FCUL) and at Carnegie Mellon University (CMU). He received his BSc and MSc in Computer Science from the University of Lisbon in 2018 and 2020, respectively. Currently, he is working under the supervision of Alcides Fonseca and Sara Silva at FCUL and Chris Timperley at CMU. His main research interests combine type theory and evolutionary computation in program synthesis and automatic repair systems;
  • Miguel Tavares is a MSc Student at Faculdade de Ciências da Universidade de Lisboa (FCUL). He received his BSc in Computer Science from the University of Lisbon in 2020. Currently, he is working under the supervision of Alcides Fonseca and Chris Timperley on static analysis of robotic systems;
  • Ricardo Cordeiro is also a MSc Student at Faculdade de Ciências da Universidade de Lisboa (FCUL). He received his BSc in Computer Science from the University of Lisbon in 2019. Currently, he is working under the supervision of Alcides Fonseca and Chris Timperley on the formalization and runtime verification of invariants for robotic systems.
13h30
LASIGE
Vista a partir de cima de pessoas a trabalharem sobre uma mesa de madeira

CIÊNCIAS desenvolve um conjunto de atividades de apoio aos Doutorandos, periodicamente enquadradas no âmbito do PhD Support Programme.

Ana Quintans

Concerto no âmbito do programa Música na Universidade de Lisboa.

Conversa com Cristina Luís (investigadora no CIUHCT - Centro Interuniversitário de História das Ciências e da Tecnologia / Ciências ULisboa).

Esta formação é oferecida como oportunidade de aprender sobre sustentabilidade do corpo à comunidade e ao ecossistema, perante uma situação global desesperante, sonhando utopicamente com futuros mais justos e equitativos. 

Fotografia de Chapim-azul

The goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity.

Logótipo CQE Days 2025

O encontro tem como objetivo divulgar e promover os resultados da investigação produzidos nos dois pólos do Centro de Química Estrutural (CIÊNCIAS e IST), estimulando a criatividade, o trabalho interdisciplinar e o espírito científico.

Seminário do Centro de Física Teórica e Computacional, por Susana Barbosa (INESC TEC, Porto, Portugal).

O evento reunirá alunos de Ciências ULisboa e do ISCAL, proporcionando-lhes uma oportunidade única para apresentarem e defenderem os seus projetos empreendedores num formato de pitch.

Palestra de divulgação das atividades e oportunidades do IEEE (Institute of Electrical and Electronics Engineers).

Mão a segurar em globo de vidro

Curso acreditado pelo CCPFC para efeitos de progressão na carreira dos professores na dimensão cientifico-pedagógica dos grupos 230, 420, 510, 520 e 560, com candidaturas até 30 de abril.

Seminário de Lógica Matemática, por Eduardo Magalhães (Universidade do Porto).

Seminário do Departamento de Física de Ciências ULisboa, por José Manuel Rebordão (FCUL - DF).

Seminário de Geometria e Física, por Tomás Inácio (FCUL, Universidade de Lisboa).

The aim of this event is to illustrate the importance of interdisciplinarity. To do so the meeting will bring together researchers from different areas who work in interdisciplinary fields within Ciências ULisboa

Cardume

Seminário Doutoral I (Doutoramento em Biologia), por Eduardo Miguel Onofre Feijão.

Logótipo do LIP Summer Internship Program

Um programa destinado a estudantes de Física e Engenharia com interesse em investigação científica e tecnológica, com candidaturas até 15 de maio (nova data).

“Coroa de Flores” cósmica

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Federica Loiacono (INAF OAS Bologna, Italy).

Seminário de Análise e Equações Diferenciais, por João Pedro Ramos (Instituto Nacional de Matemática Pura e Aplicada).

Seminário do Centro de Física Teórica e Computacional, por João Amaral (Department of Physics and CICECO, University of Aveiro, Portugal).

Seminário de Análise e Equações Diferenciais, por Wladimir Neves (Universidade Federal do Rio de Janeiro).

Título/data/local do evento, logótipos das entidades organizadoras e fotografia de peixe

The event aims to facilitate the exchange of information and knowledge among professionals to advance the understanding, collaboration and capabilities of aquaculture to respond to the impact of climate change in a rapidly changing global environment.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

22 de maio - dois dos doze finalistas da competição são alunos de CIÊNCIAS.

Seminário de Análise e Equações Diferenciais, por Leonid Berlyand (Penn State University).

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Pier-Stefano Corasaniti (Observatoire de Paris-Meudon, France).

Uma oportunidade única para interagir com a comunidade global de computação científica.

Páginas