TMT - Ten Minutes Talk with the PhD students in Informatics

Safe resource-aware virtual machines for IoT devices

Transmissão através de Videoconferência

Conversa com Carlos Mão de Ferro (LASIGE, DI-FCUL).

In this talk he will briefly introduce the topic of programming embedded systems for IoT, mainly focusing on the challenges of delivering software that is safe (i.e., that it doesn’t crash). His latest research presents Shelley, a specification language for Cyber-Physical Systems, and a verification algorithm that checks the integration of stateful systems. Show up and discover how this is related to the Frankenstein character!

Short Bio: Carlos has been working with Wireless Sensor Networks and Embedded Software for 10 years. After his master thesis conclusion in 2013, he alternated between academia and the industry worlds. His PhD research focuses on new programming languages techniques that deliver a safe and resource-aware programming of embedded devices, thus promoting a reliable and sustainable Internet of Things (IoT) environment. In 2019 he was a Fulbright scholar at University of Massachusetts Boston. He enjoys reading topics about Physics, Astronomy and Biology and he is also passionate about music, having learned to play the flute and the piano as a child.


Zoom

17h45
Título/data/local do evento

No Dia Nacional dos Cientistas, o conhecimento não risca fronteiras.

O Museu Nacional de História Natural e da Ciência da Universidade de Lisboa celebra a Noite Europeia dos Museus (17 de maio) e o Dia Internacional dos Museus (18 de maio). Nestes dias, os Museus abrem as portas e convidam os cidadãos a conhecer os seus acervos, coleções, exposições e atividades.

Bodião-limpador "em ação"

Seminário Doutoral II (Doutoramento em Biologia), por Beatriz Palinhos Pereira.

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

Seminário de Lógica Matemática, por Joaquim Waddington (UERJ/UCL).

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.

Seminário de Análise e Equações Diferenciais, por Itamar Oliveira (University of Birmingham).

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.

Pintura abstrata azul e rosa

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

Technovation Girls Challenge Portugal - Final

Ciências acolhe o evento final do Programa Technovation Girls Challenge Portugal.

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

Um programa estruturado que combina discussões em grupo, exploração de carreira e workshops informativos, com inscrições até 23 de maio.

Uma oportunidade para fortalecer a cultura de segurança e bem-estar em CIÊNCIAS.

Seminário no âmbito do Doutoramento em Biologia e Ecologia das Alterações Globais, por Pierina Jocelyn Mendoza Yengle.

Logótipo do EVM 2025

Candidaturas até 28 de maio.

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

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do evento.

Título/data/local do evento e iconografia representativa de energias renováveis

Inscrições até 16 de maio! Junta-te a esta revolução energética e faz a diferença!

Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Neste curso ficarás a saber como te podes tornar um permacultor eficiente, produtivo e consciente! O curso está preparado para iniciantes na prática de permacultura.

Formação - Cultivar em Permacultura.

Pessoas a interagirem em frente a um computador portátil

As inscrições para a edição de 2025 da formação decorrem até às 17h do dia 23 de maio.

Páginas