Talia's main interest is to facilitate the maintenance of verified programs thanks to better proof engineering technologies. She develops fundamental results in the theory of dependent types Her vision is a future where verification is accessible to all programmers using these technologies. Very present on social networks, many AI experts like to exchange AI ideas with her.