Não sou propriamente fã de Miguel Sousa Tavares, mas adorei ler a crónica desta semana no Expresso (via @pfig) sobre as apostas dos governos em matéria de transportes e inovação.
I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.
Não sou propriamente fã de Miguel Sousa Tavares, mas adorei ler a crónica desta semana no Expresso (via @pfig) sobre as apostas dos governos em matéria de transportes e inovação.