Palestrantes Confirmados

SBES 2013

Simpósio Brasileiro de Engenharia de Software

• Sam Malek
  Professor assistente do Departamento de Ciência da Computação, George Mason University, Estados Unidos. Áreas de interesse: aquitetura de software, dependabilidade e segurança.
• Jeff Offutt
  Professor da escola Volgenau, George Mason University, Estados Unidos. Áreas de interesse: testes de mutação e geração
  automática de dados para testes.

SBLP 2013

Simpósio Brasileiro de Linguagens de Programação

• Tim Harris
  Pesquisador do Oracle Labs, Cambridge, Reino Unido. Áreas
  de interesse: programação paralela e suporte a arquitetura de
  sistemas de linguagem de execução.
• Ryan Newton
  Professor assistente na Indiana University, Estados Unidos.
  Áreas de Interesse: Computação paralela e computação distribuída.

SBMF 2013

Simpósio Brasileiro de Métodos Formais

• Christiano Braga
  Universidade Federal Fluminense, Brasil. Áreas de interesse:
  métodos formais, semântica de linguagens de programação e
  desenvolvimento dirigido à modelos.
• Kenneth McMillan
  Pesquisador vinculado a Microsoft Research, Redmond, Estados Unidos. Áreas de interesse: verificação formal de modelos,
  análise de programas, teoremas de decisão e provas automatizados.

SBCARS 2013

Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software

• Krzysztof Czarnecki (University of Waterloo)
  Professor associado do departamento de Engenharia Elétrica
  e Computação, Universidade de Waterloo, Canadá. Áreas de
  interesse: Programação Generativa, Evolução de Software e
  Sincronização de Modelos.
• Joe Yoder – Presidente – The Refactory, Inc.
  Áreas de Interesse: Patterns, Arquitetura de Software, Refatoração,
  Desenvolvimento Ágil