Categoria: DEI Talks
-
DEI Talks | Formal Verification of Distributed Systems por Julien Brunel e David Chemouil
Julien Brunel e David Chemouil são investigadores seniores na ONERA, em Toulouse, especializados em formal specification and verification. Juntamente com Nuno Macedo e Alcino Cunha (INESC TEC) conceberam a 6ª versão (até há pouco tempo designada Electrum) da linguagem e ferramenta Alloy (originalmente proposta pelo MIT). Nos últimos anos, Julien Brunel e David Chemouil têm…
-
DEI Talks | JUMPING FINITE AUTOMATA por Prof. Alexander Meduna
Prof. Alexander Meduna (nascido em 1957 em Olomouc, República Checa) é um cientista informático teórico e especialista em desenho de compiladores, linguagens formais e autómatos. É professor de Informática na Brno University of Technology. Anteriormente, ensinou informática teórica em várias universidades europeias e americanas, incluindo a Universidade do Missouri, onde passou uma década a ensinar…
-
CreativityTalks | Prof. António Sampaio da Nóvoa será o próximo convidado
Há muitos “futurismos” que sugerem uma educação sem escolas, baseada nas imensas possibilidades das tecnologias e da inteligência artificial. Estes “futurismos” ganharam força com a pandemia e as diferentes formas de isolamento a que temos estado sujeitos. Mas a educação não se faz em “confinamento”, exige sempre uma relação, um encontro, um trabalho conjunto. Não…
-
DEI Talks | The Digital Score – “What’s really going on {in} here?” por Prof. Craig Vear
Craig Vear é Professor e Investigador na Universidade de Montfort onde é também Diretor do Laboratório de IA e Robótica Criativa no Instituto de Tecnologias Criativas. A sua investigação é naturalmente híbrida, pois reúne os campos da música, desempenho digital, tecnologias criativas, inteligência artificial, criatividade, jogos, realidade mista e robótica. Tem estado envolvido em investigação…