Conteúdo principal
Minha fotografia

+55 (11) 9-7072-8951

http://www.davidcurado.com.br

Curriculum Lattes

linkedin github

cv-david.pdf

foaf.xml

david.pub

Sou mestre em computação, formado pelo IME-USP, e ex-integrante da equipe de desenvolvimento do Profes. Estudei tipicalidade em lógicas de descrição durante o mestrado e trabalhei com desenvolvimento web como sócio-fundador do Profes.

Meus interesses incluem:

  1. Lógicas de Descrição
  2. Lógicas Não-monotonicas
  3. Liguagens de Programação
  4. Desenvolvimento Web
  5. Software Livre
  6. Startups

No meu tempo livre, gosto de desenvolver alguns projetos pessoais, dá uma olhada na seção de projetos.

# Data Diploma Instituto Trabalho Orientador
1 2007 — 2010 Bacharelado em Ciência da Computação IME - USP Geração Automática de Metadados Renata Wassermann
2 2011 — 2014 Mestrado em Ciência da Computação IME - USP Tipicalidade em Lógicas de Descrição Renata Wassermann
# Data Cargo Empresa Descrição
1 02/2008 — 07/2008 Aluno-Monitor de MAC0122 IME - USP -
2 2011 — 2014 Desenvolvedor e CTO Profes Co-fundei, ajudei a desenvolver e criei a infraestrutura do Profes
# Nome URL Descrição
1 chef-gitolite Receita, em chef, para instalar um servidor de gitolite (Infrastrutura como código)
2 chef-mailsrv Receita, em chef, para instalar um servidor de email bem simples (Infrastrutura como código)
3 chef-gunicorn Receita, em chef, para fazer deploy de applicativos web em python (Infrastrutura como código)
4 QAnimal Site para cadastro e busca de animais resgatados (Sem fins lucrativos)