TMT - Ten Minutes Talk with the PhD students in Informatics

Scalable and Maintainable Evolutionary Synthesis-based Repair Systems

Transmissão através de Videoconferência

Conversa com Paulo Santos (LASIGE, DI-FCUL).

Automatic Program Repair is the ability to fix errors in a program with barely any programmer intervention. In the Evolutionary Program Repair area, we identify three major problems: the lack of concern towards program correctness when generating the program variants, the large search space of program semantics when generating a patch at a finer granularity, and the ability to generate patches that are maintainable. In our work, we try to develop strategies capable of automatically generating correct and maintainable program patches while keeping the search efficiency.
 
Short Bio: Paulo Santos completed his Bachelors and Masters in Informatics Engineering at FCUL. He currently is a Dual PhD Student in Software Engineering at Faculdade de Ciências da Universidade de Lisboa and Carnegie Mellon University, and is working under the supervision of Alcides Fonseca, Sara Silva and Chris Timperley. His primary research interest lies in the combination of evolutionary computation and programming languages to allow the creation of novel automatic program repair and program synthesis systems.


Transmissão em direto via Zoom.

17h45
Computador portátil a projetar imagem de sequência biológica

Curso com candidaturas até 12 dezembro.

Estudantes

As candidaturas decorrem até 08 de janeiro.

Representação de pessoa a interagir com tecnologia

O curso introduz o conceito de Digital Twins e a sua aplicação estratégica no contexto do serviço público, com foco na modernização digital, otimização de processos e apoio à decisão - candidaturas até 11 de janeiro.

Bola de cristal colocada no solo

Curso com candidaturas até 19 de dezembro.

Imagem exemplificativa da área da deteção remota

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.

Duas pessoas a interagirem num contexto de realidade virtual

O curso explora o potencial da Realidade Virtual (VR) e Aumentada (AR) como ferramentas inovadoras nos processos de onboarding e desenvolvimento de competências - candidaturas até 25 de janeiro.

Ginásio "inundado" de tecnologia

Um programa único na Europa, com o objetivo de capacitar para a integração crítica, segura e eficaz de ferramentas digitais na intervenção clínica - candidaturas até 16 de janeiro.

Imagem abstrata

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.

As inscrições são grátis para funcionários e estudantes de CIÊNCIAS e da FCiências.ID, mediante a utilização do código CIENCIASFREE. 

O workshop propõe promover a partilha de estratégias metodológicas que permitam transformar as ferramentas de inteligência artificial em apoios qualificados ao trabalho docente, assegurando que complementam, e nunca substituem, a intervenção profissional, o rigor pedagógico e a intencionalidade do professor.

Pessoas a analisarem dados

Candidaturas até 13 de fevereiro.

Um curso prático, limitado a um pequeno número de participantes, destinado a quem procura formação básica em teoria e estatística macroecológica e deseja familiarizar-se com algumas das potenciais utilizações de vários métodos avançado - candidaturas até 13 de fevereiro.