Computing represents a universally applicable attitude and skill set everyone, not just computer scientists, would be eager to learn and use.
Jeannette Wing
We live in a society exquisitely dependent on science and technology, in which hardly anyone knows anything about science and technology. If we continue to accumulate only power and not wisdom, we will surely destroy ourselves.
Carl Sagan
Gazeta Valsassina 2022
Gazeta Valsassina 2023
What else can better capture the transformation of thing a into thing b by “magic” than the proper concept of a mathematical function, b = f (a)?
Podcasts
Spotify
The Haskell Foundation
O José Nuno Oliveira é licenciado em Engenharia Eletrotécnica pela Universidade do Porto, e mestre e doutorado em Ciências da Computação pela Universidade de Manchester. É investigador do INESC TEC e cofundador da ENSICO. Atualmente é professor do Departamento de Informática da Universidade do Minho. É autor e coautor de inúmeros artigos científicos, tendo como principal área de interesse a aplicação de métodos formais na programação.
QUESTIONS?
Whether you’re curious about our mission and goals, we’re here to answer any questions.
English 
Português