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

Celebrating Pedro Duarte's 60th birthday.

Fotografia de campo agrícola e parque eólico

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia de trator em campo agrícola

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia representativa de agricultura sustentável

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia de pessoa a pegar num Ouriço-do-mar

Seminário de Pós-Graduação no âmbito do Doutoramento em Biologia, por Inês Ventura.

As Jornadas Interinstitucionais de Inovação Pedagógica estão abertas a docentes do ensino superior com interesse no seu desenvolvimento profissional pedagógico.

Imagem ilustrativa do evento, acompanhada de diversas informações

Concerto solidário a favor da Associação Portuguesa Contra a Leucemia.

Logótipo da Comissão Europeia e iconografia associada ao Horizon Europe

1.ª edição do curso Horizon Europe, para candidaturas futuras a projetos colaborativos - manifestações de interesse até 05 de setembro de 2022.

Título do evento e iconografia relacionada com a ciência e a saúde

O workshop visa sensibilizar jovens, adultos e idosos para a importância do movimento induzido pela música na saúde e na qualidade de vida sustentável.

Banner do concurso (inclui fotografia apresentada numa anterior edição)

Candidaturas até 30 de setembro de 2022.

Imagem ilustrativa do curso, acompanhada de diversas informações

Um curso dirigido ao público geral e estudantes de arte ou ciência (a partir dos 16 anos), com interesse em desenho de observação, ilustração, e biologia, com ou sem experiência em desenho.

Cartaz do evento

Um evento repleto de atividades científicas, culturais e educativas, com jogos, demonstrações, palestras, entre muitas outras atividades. 

Programa a disponibilizar.