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

A conferência reúne múltiplos participantes de diferentes áreas em diálogo e cooperação, das ciências às humanidades e destas à arte e cultura, com um olhar atento e cuidadoso sobre os desafios e oportunidades da ciência, das novas tecnologias aplicadas à vida e, particularmente, do imperativo de responsabilidade, de todos e para todos, sobre o futuro da humanidade.

Logótipo do projeto, título/data do evento e fotografia de cão com um ar aparentemente ansioso

Sessão do projeto Ciências em Harmonia, dia 04 de dezembro, pelas 17h30.

Seminário Permanente de Filosofia das Ciências, por Mattia Petrolo (CFCUL/GI1).

Mesa-redonda com a participação de João Neto (Museu da Farmácia), Marta Lourenço, Miquel Carandell Baruzzi (Universitat Autònoma de Barcelona) e Beatriz Medori (CIUHCT).

Lisbon AI Seminar, por Luís Correia (Ciências ULisboa).

NLX Journal Club, por António Branco.

Seminário do Centro de Física Teórica e Computacional, por Rui Santos (Instituto Superior de Engenharia de Lisboa, Instituto Politécnico de Lisboa; e Centro de Física Teórica e Computacional, Faculdade de Ciências, Universidade de Lisboa, Portugal).

Seminário de Pós-Graduação no âmbito do Doutoramento em Biologia (Especialidade de Ecologia), por Sara Raquel da Costa Bento.

Título, local e data do evento, acompanhados de logótipos do Horizon 2020 e União Europeia

TWIN2PIPSA Workshop - register now!

Título, local e data do evento, acompanhados da fotografia do orador

TWIN2PIPSA Expert Seminar, por Georgios Skretas (Institute for Bio-innovation, Biomedical Sciences Research Center "Alexander Fleming", Vari, Greece / Institute of Chemical Biology, National Hellenic Research Foundation, Athens, Greece).

Seminário no âmbito do Mestrado em Bioestatística, por Rita Gaio (Faculdade de Ciências da Universidade do Porto).

Título/data/local do evento, logótipos das entidades organizadoras e imagens de mapas antigos

Henrique Leitão (Ciências ULisboa) participa na mesa-redonda "Lugares da Globalização - Perspetivas de Futuro”.

Seminário do Departamento de Física de Ciências ULisboa, por Daniela M. Godinho (IBEB, FCUL).

Seminário por Salit Kark & Noam Levin (University of Queensland, AU).

Lisbon Webinar in Analysis and Differential Equations, por Andreas Seeger (University of Wisconsin-Madison).

Seminário E3GLOBAL, por Marta Macedo (IHC - NOVA FCSH/ IN2PAST).

Seminários em Recursos Naturais Vegetais, por Luís BonifácioJorge Faria (Instituto Nacional de Investigação Agrária e Veterinária).

Título/local/data do evento e logótipo do LIP e entidades associadas à iniciativa

Uma viagem em que os visitantes irão conhecer o LIP e os lugares para onde viajamos diariamente no nosso trabalho.

Seminário do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Andreas Bender (Department of Statistics at LMU Munich and Senior Consultant at the Statistical Consulting Unit - StaBLab).

Oficina de Introdução à Estacaria.

Título/data do evento e fotografia da oradora

Masterclass com a presença de Teresa Vieira, que irá elucidar os vários passos de criar uma empresa.

Fotografia antiga de quatro ciclistas

Workshop no âmbito do projeto Hi-BicLab. Laboratório de História para as Mobilidades Urbanas Sustentáveis: Políticas Cicláveis de Lisboa.

Título, local e data do evento, acompanhados da fotografia da oradora

TWIN2PIPSA Expert Seminar, por Sandra Macedo-Ribeiro (Group Leader of the Biomolecular Structure & Function Lab at i3S - Instituto de Investigação e Inovação em Saúde da Universidade do Porto).

Ilustração representativa de produtos alimentares dentro de uma caixa

Participe nesta campanha solidária até ao dia 14 de dezembro.

Páginas