Correct-by-Construction Program Synthesis using Type Theory and Evolutionary Computation
Data Science Seminar, por Alcides Fonseca (LASIGE/DI-FCUL).
Serão os organismos computadores?
"A realização de determinadas funções biológicas é explicada como efeito de uma “computação natural” executada pelo organismo. O objetivo destes programas é, como bem exemplificado por este recente artigo de Joshua Bongard e Michel Levin, promover uma confluência entre biologia e engenharia", escreve Lorenzo Baravalle, investigador do Centro de Filosofia das Ciências da Universidade de Lisboa.