Programa de Pós-Graduação em Ciência da Computação
Tiago Royer
Graduado em Ciências da Computação pela Universidade Federal de Santa Catarina (UFSC) e mestre em Ciências da Computação pela Universidade de São Paulo (USP). Atualmente é doutorando em Ciência da Computação na Universidade de São Paulo (USP). Possui experiência em teoria de Ehrhart. (Texto informado pelo autor)
Trabalhos completos publicados em anais de congressos (1)
ROYER, T.; MARCHI, J.. Blum axioms and nondeterministic computation of functions. Em: Congresso da Sociedade Brasileira de Computação, 2016.Qualis: C (XXX CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO)
Resumos expandidos publicados em anais de congressos (0)
Resumos publicados em anais de congressos (0)
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (0)
Produção técnica
Programas de computador com registro (0)
Programas de computador sem registro (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (0)
Produção artística
Total de produção artística (0)
Orientações em andamento
Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)
Supervisões e orientações concluídas
Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)
Projetos de pesquisa
Total de projetos de pesquisa (1)
2012-2013. Algoritmos rápidos para a resolução do problema da satisfazibilidade booleana Descrição: Projeto de iniciação científica (programa Jovens Talentos para a Ciência). Situação: Concluído; Natureza: Pesquisa. Integrantes: Tiago Royer - Integrante / Jerusa Marchi - Coordenador. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa. Membro: Tiago Royer.
Prêmios e títulos
Total de prêmios e títulos (0)
Participação em eventos
Total de participação em eventos (0)
Organização de eventos
Total de organização de eventos (0)
Lista de colaborações
Colaborações endôgenas (0)
(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 12/02/2025 20:44:31