Quarta, 12/2/25 às 13:00 no Auditório Maria Irene (NCE)
Chatbots like ChatGPT and Google’s Gemini dominate the news. But the answers they give are, literally, bullshit. Historically, artificial intelligence has two strands. One is machine learning, which powers ChatGPT and art-bots like Midjourney, and which threatens to steal the work of writers and artists and put some of us out of work. The other is the 2,000-year-old discipline of logic. This talk takes a tour of the risks and promises of these two strands, and considers how they may work better together.
Bio: Philip Wadler é um renomado cientista da computação, conhecido por suas contribuições na área de linguagens de programação, sistemas de tipos, e programação funcional. Dentre os seus trabalhos na interface entre a teoria e a prática estão modelos teóricos para a linguagem Java: a linguagem Generic Java fundamentou o projeto que introduziu tipos genéricos em Java, e o Featherweight Java especificou o núcleo de Java em uma só página. Philip foi um dos projetistas da linguagem funcional Haskell, e contribuiu com duas das principais inovações dela: type classes, e mônadas.
Philip Wadler é professor de ciência da computação da Universidade de Edinburgo e pesquisador associado da IOHK. Ele é fellow da Royal Society, da Royal Society de Edinburgo, e da ACM. É chefe do comitê diretor do periódico Proceedings of the ACM, já foi editor chefe do PACMPL, do Journal of Funcional Programming, e chair da ACM SIGPLAN. Já foi agraciado com a SIGPLAN Distinguished Service Award, e a POPL Most Influential Paper Award.