Silvija SeresDossiê de estudoNº 01 · Novembro de 2026

Um guia para conhecer o trabalho de

Silvija Seres

Fiorde norueguês ao amanhecer, com névoa entre as montanhas e uma casinha vermelha na margem.

Fiorde norueguês ao amanhecer.
Imagem ilustrativa.

Matemática com doutorado em Oxford, passou pela FAST e pela Microsoft e hoje se divide entre conselhos de grandes empresas e palestras sobre o que a inteligência artificial muda nas pessoas, nas empresas e nos países.

Como este guia nasceu

acabei de ver uma palestra dela, SENSACIONAL

Uma mensagem de WhatsApp de uma amiga. Daqui saiu este guia, que junta o que ela publicou e mostra por onde começar.

Não deveríamos nos preocupar tanto com o crescimento da inteligência artificial.
Título da palestra de Silvija Seres no TEDxOslo, 2018, em tradução livre.Assistir à palestra · 15 min

01 · Por onde começar

Quanto tempo
você tem?

Três trilhas, da mais rápida à mais profunda. Cada passo leva direto à fonte, com legenda em português quando existe.

Palco vazio de auditório com um único foco de luz sobre um púlpito de madeira.

15 minutos

Para sentir o pensamento dela

A palestra do TEDxOslo

A mais conhecida dela. Em vez de temer o crescimento da IA, ela pede atenção ao que pode encolher: a criatividade humana. Se sobrar tempo, emende o recorte de cinco minutos sobre quem precisa se preparar mais.

Palestra · Inglês · Legenda em português

Não fala norueguês? Veja como ativar a legenda em português
  1. Nos vídeos com legenda PT, abra o vídeo no YouTube e toque na engrenagem das Configurações.
  2. Escolha Legendas, depois Traduzir automaticamente e, por fim, Português.
  3. Os ensaios do site dela têm versão em inglês a um clique. Para ler em português, use a tradução do navegador.

02 · Biblioteca

Tudo o que
ela publicou

232 itens reunidos e organizados. Escolha um número abaixo; os destaques aparecem primeiro e o resto fica a um clique.

Mesa de madeira junto à janela, com livros, um caderno aberto e uma xícara de café em luz de inverno.
Mesa de leitura em luz de inverno. Imagem ilustrativa.

Toque no círculo para marcar o que já viu.

Para começar · 2024 · Inglês

Explain for Me: AI

100+ Good Questions and Short Answers about Artificial Intelligence

Mais de cem perguntas reais, de adolescentes a profissionais, respondidas em poucas linhas, cada uma com uma analogia e uma ilustração. É também o melhor livro para explicar IA a outras pessoas.

Para ir fundo · 2025 · Inglês

Chaos Trilogy

Três volumes que podem ser lidos separadamente

Como a IA reorganiza a sociedade, a política e a liderança num mundo que não anda em linha reta.

  1. I
    Societal AITechnology, Data and AI · 379 páginas
    Amazon
  2. II
    Chaos PoliticsSociety and Politics
    Amazon
  3. III
    Non-linear LeadershipBusiness and Leadership
    Amazon

Mais livros dela · os links mostram as capas e as edições

  • 2024

    Explain for Me: Cybersecurity

    Segurança digital explicada para quem não é da área, em 150 perguntas.

    Inglês

  • 2024

    Explain for Me: ESG

    Sustentabilidade e governança em respostas curtas, com o vocabulário para entrar no debate.

    Inglês

  • 2024

    Explain for Me: Compliance

    Regras e responsabilidades das empresas explicadas para líderes e profissionais.

    Inglês

  • 2025

    Muligheter i tåka

    Como países e empresas acham direção quando tudo muda rápido. Em norueguês.

    Norueguês

  • 2021

    Staten og dataen

    Como dados e IA mudam o poder político e as instituições na Noruega. Em norueguês.

    Norueguês

  • 2020

    Digital Dugnad

    O livro-beta de 2020, escrito junto com o público, sobre o futuro digital da Noruega.

    Norueguês

  • 2008

    Book of Search

    Da época da FAST: boas práticas de busca corporativa, gratuito em PDF.

    Inglês

Só em 2026 foram 65 ensaios, mais de dois por semana. Os originais estão em norueguês, com versão em inglês a um clique; aqui os títulos vêm traduzidos.

Todos os 121 ensaios

Toque no círculo para marcar o que já viu.

Newsletters e entrevista

Textos curtos e recentes, em inglês.

Doutorado em Oxford: IA simbólica

Antes do aprendizado de máquina dominar, a IA era lógica. A tese embute programas Prolog em Haskell para raciocinar sobre eles com álgebra.

  • 2000

    The Algebra of Logic Programming

    Análise e transformação de programas lógicos com métodos algébricos e funcionais.

    Seres, S.
    Tese de doutorado (DPhil), University of Oxford. Orientação de Tony Hoare e Mike Spivey

    PDF
  • 2000

    Optimisation problems in logic programming: an algebraic approach

    O cálculo algébrico que deriva programas funcionais eficientes também serve para programação lógica.

    Seres, S. & Mu, S-C.
    LPSE’00

    PDF
  • 2000

    Higher-order transformation of logic programs

    Derivação e transformação de programas lógicos embutidos em Haskell, estendendo a Algebra of Programming de Bird e de Moor.

    Seres, S. & Spivey, J. M.
    LOPSTR’00

    PDF
  • 2000

    Functional Reading of Logic Programs

    Uma leitura funcional de programas lógicos, aproximando os dois paradigmas.

    Seres, S. & Spivey, J. M.
    Journal of Universal Computer Science

    PDF
  • 1999

    Algebra of Logic Programming

    A álgebra por trás da programação lógica, unindo especificação e desenvolvimento de programas.

    Seres, S., Spivey, J. M. & Hoare, C.A.R.
    ICLP’99

    PDF
  • 1999

    The Algebra of Searching

    Fundamentos algébricos de algoritmos de busca em programação lógica.

    Spivey, J. M. & Seres, S.
    Simpósio em homenagem a C.A.R. Hoare

    PDF
  • 1999

    Embedding Prolog into Haskell

    Como embutir programas lógicos numa linguagem funcional preguiçosa.

    Seres, S. & Spivey, J. M.
    HASKELL’99

    PDF
  • 2003

    Combinators for logic programming

    Combinadores para programação lógica. Sem versão online no site dela.

    Seres, S.
    Capítulo do livro The Fun of Programming

    Sem versão online

Busca e recuperação de informação na FAST

Busca corporativa foi a IA aplicada dos anos 2000: linguística, estatística e relevância em escala. Ideias que hoje sustentam o RAG.

Relatórios públicos na Noruega

Comitês e grupos de especialistas de que ela fez parte. Em norueguês, salvo indicação.

Inspiração

Não é dela, mas está no arquivo dela por um motivo.

  • s.d.

    Pruning the Search Tree (EWD1255)

    Texto sobre raciocínio algorítmico e abstração que ela cita como inspiração formativa. É a origem da figura no topo desta página.

    Dijkstra, E. W.
    Nota clássica

    PDF

03 · A história dela

Da lógica em Oxford
aos conselhos de empresas

Claustro de pedra com arcos góticos e luz da manhã.
Claustro de universidade inglesa. Imagem ilustrativa.

1970

Três línguas, dois países

Cresceu na antiga Iugoslávia e construiu a vida na Noruega. Fala norueguês, sérvio e húngaro e mora em Bærum, perto de Oslo.

Anos 1990

A lógica de Oxford

Estudou ciência da computação na Universidade de Oslo e fez o doutorado em Oxford, orientada por Tony Hoare, vencedor do Prêmio Turing, e por Mike Spivey. A tese usava álgebra para raciocinar sobre programas que buscam soluções.

Anos 2000

Da pesquisa à indústria

Passou pelo centro de pesquisa da DEC e da Compaq na época do AltaVista, cuidou da estratégia de produto da FAST, a empresa norueguesa de busca, entre Oslo e Boston, e foi diretora de gestão de negócios na Microsoft.

Sala de conselho com mesa longa de carvalho e janelas para um fiorde.
Sala de conselho escandinava diante de um fiorde. Imagem ilustrativa.

Anos 2010

Ensinar o país a aprender

Fundou o LØRN.TECH, com mais de 1.600 episódios curtos sobre tecnologia, apresentou o podcast De som bygger det nye Norge e já deu mais de mil palestras. Também presidiu a Polyteknisk Forening.

Conselhos

Na mesa de decisão

Preside o conselho da Ruter, o transporte público da região de Oslo, e já passou por mais de 30 conselhos, como Nordea, NRK, Oslo Børs e Telenor. Integrou o grupo consultivo da OTAN sobre tecnologias emergentes.

2026

Escrevendo quase todo dia

Publicou 65 ensaios só neste ano, lançou uma newsletter em janeiro e entrou no conselho da Omda em agosto. Em novembro falou em Estocolmo sobre quem vai controlar a inteligência do futuro e, em Oslo, sobre IA na saúde.

Para acompanhar o que ela publica