“Pessoa de grande experiência” e “otimista” em relação à IA. Quem é Manuel Dias, o novo "CTO do Estado"?