IME-USP

Disciplinas 2025 – Pós-graduação em Ciência da Computação

1º Semestre de 2025

SiglaNomeProfessor(a)
MAC5716Laboratório de Métodos ÁgeisAlfredo Goldman Vel Lejbman
MAC5717Laboratório Avançado de Métodos Ágeis de Desenvolvimento de SoftwareAlfredo Goldman Vel Lejbman
MAC5719Tópicos em BioinformáticaAlan Mitchell Durham
MAC5723Criptografia para Segurança de DadosRouto Terada
MAC5737Tópicos em Inteligência ArtificialRenata Wassermann
MAC5739Inteligência ArtificialMarcelo Finger
MAC5744Introdução à Computação GráficaCarlos Hitoshi Morimoto
MAC5768Visão Computacional e Processamento de ImagensRonaldo Fumio Hashimoto
MAC5770Introdução à Teoria dos GrafosFabio Happ Botler
MAC5771Teoria dos GrafosCláudio L. Lucchesi
MAC5832Introdução ao Aprendizado de MáquinaNina Sumiko Tomita Hirata
MAC5856Desenvolvimento de Software LivrePaulo Meirelles
MAC5861Modelagem de Banco de DadosKelly Rosa Braghetto
MAC6711Tópicos de Análise de AlgoritmosCristina Gomes Fernandes
MAC6908Otimização Semidefinida e AplicaçõesMarcel K. de Carli Silva
MAC6909Empreendedorismo DigitalFabio Kon
MAC6931Estudos Avançados em Sistemas de SoftwarePedro Henrique Dias Valle
MAC6938Estudos Avançados em Teste de Software Baseado em Modelos IAna Cristina Vieira de Melo
MAC6957Estruturas de Dados AvançadasCristina Gomes Fernandes
MAC6958Tópicos Avançados em Ciência de Dados para Redes de ComputadoresDaniel Macedo Batista
MAC6988CibersegurançaFabio Kon

2º Semestre de 2025

SiglaNomeProfessor(a)
MAC0119Introd (Ciências Biomédicas) Python/PerlSinai Robins
MAC4722Linguagens, Autômatos e ComputabilidadeBenjamin Merlin Bumpus
MAC5711Análise de AlgoritmosCristina Gomes Fernandes
MAC5722Complexidade ComputacionalBenjamin Merlin Bumpus
MAC5725Linguística ComputacionalMarcelo Finger
MAC5754Conceitos de Linguagens de ProgramaçãoAlan Mitchell Durham
MAC5778Sistemas Baseados em ConhecimentoRenata Wassermann
MAC5780Otimização InteiraMarcel K. de Carli Silva
MAC5781Otimização CombinatóriaArnaldo Mandel
MAC5783Engenharia de SoftwarePedro Henrique Dias Valle
MAC5786Princípios de Interação Humano-ComputadorCarlos Hitoshi Morimoto
MAC5797Otimização Não LinearErnesto Julián Goldberg Birgin
MAC5832Introdução ao Aprendizado de MáquinaRoberto Hirata Jr.
MAC5910Programação para Redes de ComputadoresDaniel Macedo Batista
MAC5915Laboratório de Visão Computacional e Processamento de ImagensPaulo Andre Vechiatto de Miranda
MAC5920Introdução ao Processamento de Sinais DigitaisMarcelo Gomes de Queiroz
MAC5921Deep LearningNina Sumiko Tomita Hirata
MAC5922Combinatória IGuilherme Oliveira Mota
MAC6962Tópicos Matemáticos para Computação ContemporâneaYoshiharu Kohayakawa
MAC6992Introdução de Estatística de RedesAndré Fujita
(a definir)Verificação FormalAna Cristina Vieira de Melo

Compartilhe