Categoria: DEI Talks
-
DEI Talks | Formal Verification of Distributed Systems by Julien Brunel and David Chemouil
Julien Brunel and David Chemouil are senior researchers at ONERA, in Toulouse, specialized in formal specification and verification. Together with Nuno Macedo and Alcino Cunha (INESC TEC) they designed the 6th version (dubbed Electrum until recently) of the Alloy language and tool (originally proposed by the MIT). In recent years, Julien Brunel and David Chemouil…
-
DEI Talks | JUMPING FINITE AUTOMATA by Prof. Alexander Meduna
Prof. Alexander Meduna (born 1957 in Olomouc, Czech Republic ) is a theoretical computer scientist and expert on compiler design, formal languages and automata. He is a professor of Computer Science at the Brno University of Technology. Formerly, he taught theoretical computer science at various European and American universities, including the University of Missouri, where…
-
CreativityTalks | Prof. António Sampaio da Nóvoa will be our next guest
There are many “futurisms” that suggest an education without schools, based on the immense possibilities of technologies and artificial intelligence. These “futurisms” gained strength with the pandemic and the different forms of isolation to which we have been subjected. But education does not take place in “confinement”, it always requires a relationship, an encounter, working…
-
DEI Talks | The Digital Score – “What’s really going on {in} here?” by Prof. Craig Vear
Prof Craig Vear is a Research Professor at De Montfort University where he is also a director of the Creative AI and Robotics Lab in the Institute of Creative Technologies. His research is naturally hybrid as he draws together the fields of music, digital performance, creative technologies, artificial intelligence, creativity, gaming, mixed reality and robotics. He…