IME-USP

Memória IC

Os projetos estão disponíveis para download. Clique no título do projeto para acessar o arquivo.

O problema do algoritmo das diferenças

Possui graduação em Engenharia Elétrica pela Escola Politécnica da Universidade de São Paulo (1987), mestrado em Matemática Aplicada pelo Instituto de Matemática e Estatística da Universidade de São Paulo (1991) e doutorado em Matemática Aplicada/Ciência da Computação pelo Instituto de Matemática e Estatística da Universidade de São Paulo (1998). Atualmente é professor doutor do departamento de Ciência da Computação da Universidade de São Paulo, onde costuma lecionar disciplinas de Introdução à Computação. (Lattes)

Nascido em Budapeste, veio para o Brasil aos 13 anos de idade. Em 1962 entrou na Escola Politécnica da Universidade de São Paulo (Poli-USP), onde cursou engenharia eletrônica e trabalhou com o primeiro computador da USP. Obteve o mestrado em 1970 e o doutorado em 1972, ambos em ciência da computação pela Universidade de Waterloo. Imre foi professor titular do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da Universidade de São Paulo (IME-USP), recebendo o titulo de Professor Emérito (post-mortem). Também foi coordenador da Incubadora Virtual de Conteúdos Digitais, um projeto do programa TIDIA da FAPESP. (Lattes)

Gerador de analisador sintático ESLL (1)

Cristina Gomes Fernandes fez graduação em Ciência da Computação na Universidade de São Paulo (1987), fez mestrado em Matemática Aplicada na Universidade de São Paulo (1992) e doutorado em Computação no Georgia Institute of Technology (1997). Atualmente é professora associada na Universidade de São Paulo. Sua área de pesquisa é Otimização Combinatória, com ênfase em algoritmos de aproximação, análise de algoritmos e complexidade computacional. (Lattes).

Wânia Pedrosa fez graduação em Ciência da Computação na Universidade de São Paulo (1987).

Membro da Academia de Ciências do Estado de São Paulo, foi um dos pioneiros no ensino e pesquisa em Ciência da Computação no Brasil, área em que atua desde 1964. Formou-se em Engenharia Eletrônica no Instituto Tecnológico de Aeronáutica (ITA) e doutorou-se na Universidade de São Paulo (USP), onde é Professor Titular Sênior do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da USP (IME). Foi professor visitante nas Universidades do Texas em Austin, Estados Unidos, e de Stuttgart, na Alemanha. Exerceu vários cargos de direção na USP, tendo sido o fundador e diretor do antigo Centro de Computação Eletrônica (CCE) da USP, do Centro de Ensino de Computação do IME e introdutor do projeto Embaixadores da Matemática do IME. Tem 13 livros técnicos e educacionais publicados no Brasil e no exterior. (Página pessoal)

Problemas de Otimização em Redes de Computadores Geograficamente Distribuídos

Lucia Moura completou o Bacharelado em Ciência da Computação (1987) e o Mestrado em Matemática Aplicada (1992) no Instituto de Matemática e Estatística da Universidade de São Paulo, Brasil. Durante o seu mestrado foi Professora Auxiliar de Ensino no Departamento de Ciência da Computação do IME-USP. Em 1999, ela completou seu PhD em Ciência da Computação pela Universidade de Toronto, Canada, e no ano seguinte ela fez um pós-doutorado no Fields Institute for Research in Mathematical Sciences, Toronto. No ano 2000, ela iniciou sua carreira de Professora na School of Electrical Engineering and Computer Science, University of Ottawa, Canadá, onde atualmente ela é Professora Titular (Full Professor). Ela faz pesquisa nas áreas de algoritmos combinatórios, planejamentos combinatórios e suas aplicações. (Lattes)

Formado em Engenharia Elétrica pela Escola Politécnica pela Universidade de São Paulo (1968), M. Eng. em Engenharia de Sistemas pela Universidade de São Paulo (1972) e Ph.D. em Electrical Engineering and Computer Science – University of California – Berkeley (1977) Em 2011 recebeu o premio (internacional) IBM Faculty Award. Em fevereiro de 2013 aposentou-se como professor titular aposentado do Instituto de Matemática e Estatística da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Otimização e Controle, tendo atuado principalmente nos seguintes temas: redes de computadores, otimização, controle descentralizado de sistemas (de manufatura), otimização global e performance. Faleceu no dia 02/11/2022. (FAPESP)

Membro da Academia de Ciências do Estado de São Paulo, foi um dos pioneiros no ensino e pesquisa em Ciência da Computação no Brasil, área em que atua desde 1964. Formou-se em Engenharia Eletrônica no Instituto Tecnológico de Aeronáutica (ITA) e doutorou-se na Universidade de São Paulo (USP), onde é Professor Titular Sênior do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da USP (IME). Foi professor visitante nas Universidades do Texas em Austin, Estados Unidos, e de Stuttgart, na Alemanha. Exerceu vários cargos de direção na USP, tendo sido o fundador e diretor do antigo Centro de Computação Eletrônica (CCE) da USP, do Centro de Ensino de Computação do IME e introdutor do projeto Embaixadores da Matemática do IME. Tem 13 livros técnicos e educacionais publicados no Brasil e no exterior. (Página pessoal)

Um simulador didático de Computador HIPO

Roberto Hirata Jr. é Bacharel em Física e licenciado em Matemática pela Universidade de São Paulo (1990). Possui título de Mestre em Ciência da Computação (1997) e Doutor em Ciência da Computação (2001) também pela Universidade de São Paulo. Tem expêriencia em Ciência da Computação focada em procesamento gráfico, nos assuntos de morfologia matemática, aprendizado de máquina, processamento de imagens, projeto de operadores and microarray. É professor associado do IME-USP e pesquisador associado da INOVA-USP. (Lattes)

Membro da Academia de Ciências do Estado de São Paulo, foi um dos pioneiros no ensino e pesquisa em Ciência da Computação no Brasil, área em que atua desde 1964. Formou-se em Engenharia Eletrônica no Instituto Tecnológico de Aeronáutica (ITA) e doutorou-se na Universidade de São Paulo (USP), onde é Professor Titular Sênior do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da USP (IME). Foi professor visitante nas Universidades do Texas em Austin, Estados Unidos, e de Stuttgart, na Alemanha. Exerceu vários cargos de direção na USP, tendo sido o fundador e diretor do antigo Centro de Computação Eletrônica (CCE) da USP, do Centro de Ensino de Computação do IME e introdutor do projeto Embaixadores da Matemática do IME. Tem 13 livros técnicos e educacionais publicados no Brasil e no exterior. (Página pessoal)

Vetorização de Malhas Para Supercomputadores

Kuan Ching Li se graduou em Licenciatura em Matemática pela Universidade de São Paulo em 1994, onde trabalhou em computação paralela com seu orientador. Completou o mestrado e doutorado em 1996 e 2001, respectivamente, ambos em Engenharia Elétrica pela Escola Politécnica da USP. Depois de um pós-doutorado com o Prof. Jean-Luc Gaudiot na University of California (2002), Irvine, ele foi contratado pela Providence University, Taiwan, onde está até hoje, como professor no Departamento de Ciência da Computação e Engenharia da Informação. (ORCID)

Siang Wun Song é professor titular aposentado do Departamento de Ciência da Computação da Universidade de São Paulo, onde ele foi diretor do Instituto de Matemática e Estatística e docente desde 1971. Ele obteve o título de doutor em Ciência da Computação pela Universidade Carnegie Mellon em 1981. Foi membro do corpo editorial de vários periódicos, como Parallel Computing, Parallel Processing Letters, e Journal of the Brazilian Computer Society. Em 2007 foi admitido na Ordem Nacional do Mérito Científico, classe Comendador e recebeu em 2011 o Prêmio Mérito Científico da Sociedade Brasileira de Computação. Ele é bolsista de produtividade em pesquisa do CNPq nível Sênior. Sua área de pesquisa é o projeto de algoritmos paralelos. (Página pessoal)

Algoritmos Sistólicos Para Examinar Pares de Um Conjunto

Kuan Ching Li se graduou em Licenciatura em Matemática pela Universidade de São Paulo em 1994, onde trabalhou em computação paralela com seu orientador. Completou o mestrado e doutorado em 1996 e 2001, respectivamente, ambos em Engenharia Elétrica pela Escola Politécnica da USP. Depois de um pós-doutorado com o Prof. Jean-Luc Gaudiot na University of California (2002), Irvine, ele foi contratado pela Providence University, Taiwan, onde está até hoje, como professor no Departamento de Ciência da Computação e Engenharia da Informação. (ORCID)

Siang Wun Song é professor titular aposentado do Departamento de Ciência da Computação da Universidade de São Paulo, onde ele foi diretor do Instituto de Matemática e Estatística e docente desde 1971. Ele obteve o título de doutor em Ciência da Computação pela Universidade Carnegie Mellon em 1981. Foi membro do corpo editorial de vários periódicos, como Parallel Computing, Parallel Processing Letters, e Journal of the Brazilian Computer Society. Em 2007 foi admitido na Ordem Nacional do Mérito Científico, classe Comendador e recebeu em 2011 o Prêmio Mérito Científico da Sociedade Brasileira de Computação. Ele é bolsista de produtividade em pesquisa do CNPq nível Sênior. Sua área de pesquisa é o projeto de algoritmos paralelos. (Página pessoal)

Transposição de matrizes no hipercubo

Kuan Ching Li se graduou em Licenciatura em Matemática pela Universidade de São Paulo em 1994, onde trabalhou em computação paralela com seu orientador. Completou o mestrado e doutorado em 1996 e 2001, respectivamente, ambos em Engenharia Elétrica pela Escola Politécnica da USP. Depois de um pós-doutorado com o Prof. Jean-Luc Gaudiot na University of California (2002), Irvine, ele foi contratado pela Providence University, Taiwan, onde está até hoje, como professor no Departamento de Ciência da Computação e Engenharia da Informação. (ORCID)

Siang Wun Song é professor titular aposentado do Departamento de Ciência da Computação da Universidade de São Paulo, onde ele foi diretor do Instituto de Matemática e Estatística e docente desde 1971. Ele obteve o título de doutor em Ciência da Computação pela Universidade Carnegie Mellon em 1981. Foi membro do corpo editorial de vários periódicos, como Parallel Computing, Parallel Processing Letters, e Journal of the Brazilian Computer Society. Em 2007 foi admitido na Ordem Nacional do Mérito Científico, classe Comendador e recebeu em 2011 o Prêmio Mérito Científico da Sociedade Brasileira de Computação. Ele é bolsista de produtividade em pesquisa do CNPq nível Sênior. Sua área de pesquisa é o projeto de algoritmos paralelos. (Página pessoal)

Um algoritmo O(log n) para Multiplicação de Matrizes no Hipercubo

Kuan Ching Li se graduou em Licenciatura em Matemática pela Universidade de São Paulo em 1994, onde trabalhou em computação paralela com seu orientador. Completou o mestrado e doutorado em 1996 e 2001, respectivamente, ambos em Engenharia Elétrica pela Escola Politécnica da USP. Depois de um pós-doutorado com o Prof. Jean-Luc Gaudiot na University of California (2002), Irvine, ele foi contratado pela Providence University, Taiwan, onde está até hoje, como professor no Departamento de Ciência da Computação e Engenharia da Informação. (ORCID)

Siang Wun Song é professor titular aposentado do Departamento de Ciência da Computação da Universidade de São Paulo, onde ele foi diretor do Instituto de Matemática e Estatística e docente desde 1971. Ele obteve o título de doutor em Ciência da Computação pela Universidade Carnegie Mellon em 1981. Foi membro do corpo editorial de vários periódicos, como Parallel Computing, Parallel Processing Letters, e Journal of the Brazilian Computer Society. Em 2007 foi admitido na Ordem Nacional do Mérito Científico, classe Comendador e recebeu em 2011 o Prêmio Mérito Científico da Sociedade Brasileira de Computação. Ele é bolsista de produtividade em pesquisa do CNPq nível Sênior. Sua área de pesquisa é o projeto de algoritmos paralelos. (Página pessoal)

Compressão de Dados e de Imagens

Bacharel em Ciência da Computação pela Universidade de São Paulo (1999) e Mestre em Ciência da Computação pela Universidade de São Paulo (2003). Foi professor Assistente I da Universidade Presbiteriana Mackenzie. Também ministrou cursos de Verão sobre programação no Instituto de Matemática e Estatística da Universidade de São Paulo por 5 anos consecutivos. Tem experiência na área de Ciência da Computação, com ênfase em aspectos teóricos, atuando principalmente nos seguintes temas: Teoria da Informação, Análise de Algoritmos, Otimização Combinatória e Biologia Computacional. Possui vários projetos de Software Livre, todos disponíveis ao público em repositórios abertos. Faleceu no dia 8 de abril de 2022 devido a complicações da COVID-19. (Lattes)

Possui graduação em Engenharia Mecânica pela Escola de Engenharia Mauá (1977), mestrado em Matemática Aplicada pela Universidade de São Paulo (1987) e PhD em Computer Science – University of Chicago (1992). Atualmente é professor associado da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos e Complexidade de Computação, atuando principalmente nos seguintes temas: biologia computacional, algoritmos paralelos, algoritmos em grafos e geometria computacional. (Página pessoal)

Morfologia Matemática Aplicada à Análise de Imagens

Concluiu o BCC em 1998 e trabalhou os anos seguintes com sistemas de banco de dados e desenvolvimento de sistemas Web. Em 2001 ingressou no mestrado na Escola Politécnica, na área de Engenharia de Computação. Desenvolveu trabalho sobre análise de segurança em sistemas críticos, como sistemas metro-ferroviários e de controle de tráfego aéreo. Concluiu o mestrado em 2003, mesmo ano em que ingressou no doutorado na mesma instituição. Foi professor na FEI (São Bernardo do Campo) e, em 2005-2006, fez um estágio de doutorado no NLR (Laboratório Aeroespacial Nacional), nos Países Baixos. Em 2008, trabalhou como pesquisador na Universidade de York, Reino Unido, desenvolvendo métodos de Engenharia de Software para sistemas críticos. Posteriormente, trabalhou na Atech e na Honeywell, desenvolvendo novos conceitos de sistemas para sistemas de Gerenciamento de Tráfego Aéreo. Entre 2021-2016, trabalhou no Centro de Pesquisas da General Electric, no Rio de Janeiro, desenvolvendo métodos de aumento de eficiência operacional para empresas aéreas, e também métodos de Verificação e Validação de Software embarcado, utilizando linguagem natural controlada para especificação de requisitos. A partir de 2016, tem trabalhado na Boeing Research & Technology, também desenvolvemento métodos e sistemas para Eficiência Operacional na operação de aeronaves, envolvendo simulação, grandes volumes de dados e Inteligência Artificial. (Lattes)

Possui graduação em Engenharia Elétrica pela Escola Politécnica da Universidade de São Paulo (1983); mestrado em Computação Aplicada pelo Instituto Nacional de Pesquisas Espaciais (1987); doutorado em Engenharia Elétrica pela Escola Politécnica da Universidade de São Paulo (1992) – parte da pesquisa realizada na École National des Mines de Paris; livre docência pelo Instituto de Matemática e Estatística da USP (1998); titularidade em Ciência da Computação pelo Instituto de Matemática e Estatística da USP (2005) e pela Faculdade de Filosofia Ciências e Letras de Ribeirão Preto (2008). Atualmente, é professor titular do Departamento de Ciência da Computação do IME-USP. Tem experiência na área de Ciência da Computação, com ênfase em Matemática da Computação, tendo realizado desenvolvimentos teóricos nos seguintes temas: morfologia matemática, aprendizado de operadores morfológicos, modelagem e identificação de sistemas dinâmicos de reticulado. Ainda, tem realizado aplicações dessas técnicas em processamento e análise de imagens, vídeo digital, análise de expressão gênica, modelagem de sistemas biológicos e esportes coletivos de invasão. (Página pessoal)

Modelagem Estocástica dos Padrões Prosódicos e da Mudança Sintática no Português

Possui bacharelado, mestrado (2000) e doutorado (2006) em Estatística pela Universidade de São Paulo. Atualmente é Professora Associada do Departamento de Estatística do Instituto de Matemática e Estatística da Universidade de São Paulo. Tem experiência na área de Análise de Séries Temporais e Análise Estatística em geral. (Lattes)

Possui graduação em Matemática pela Universidade de São Paulo (1968), mestrado em Probabilidade e Estatística pela Universidade de São Paulo (1972), doutorado em Probabilidade e Estatística pela Universidade de São Paulo (1978) e livre-docência (1988) pela mesma universidade. É coordenador do Centro de Pesquisa, Inovação e Difusão em Neuromatemática (NeuroMat), professor titular do Instituto de Matemática e Estatística da Universidade de São Paulo (IME-USP) e membro da Academia Brasileira de Ciências. É o pesquisador responsável e coordenador do CEPID Neuromat, implementado em 2013 no IME-USP, com apoio da Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP). (Lattes)

Modelagem para Métodos Estatísticos de Compressão de Dados

Bacharel em Ciência da Computação pela Universidade de São Paulo (1999) e Mestre em Ciência da Computação pela Universidade de São Paulo (2003). Foi professor Assistente I da Universidade Presbiteriana Mackenzie. Também ministrou cursos de Verão sobre programação no Instituto de Matemática e Estatística da Universidade de São Paulo por 5 anos consecutivos. Tem experiência na área de Ciência da Computação, com ênfase em aspectos teóricos, atuando principalmente nos seguintes temas: Teoria da Informação, Análise de Algoritmos, Otimização Combinatória e Biologia Computacional. Possui vários projetos de Software Livre, todos disponíveis ao público em repositórios abertos. Faleceu no dia 8 de abril de 2022 devido a complicações da COVID-19. (Lattes)

Possui graduação em Engenharia Mecânica pela Escola de Engenharia Mauá (1977), mestrado em Matemática Aplicada pela Universidade de São Paulo (1987) e PhD em Computer Science – University of Chicago (1992). Atualmente é professor associado da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos e Complexidade de Computação, atuando principalmente nos seguintes temas: biologia computacional, algoritmos paralelos, algoritmos em grafos e geometria computacional. (Página pessoal)

Projeto SIDAM

Possui mestrado em Ciências da Computação pela Universidade de São Paulo(2004). Atualmente é Especialista Desenvolvimento de Software da PromonLogicalis. Tem experiência na área de Ciência da Computação. (Lattes)

Bacharel e mestra pela Universidade de São Paulo em 1986 e 1990, respectivamente. Completou o doutorado em 1997 no Instituto de Tecnologia da Geórgia. Retornou para a Universidade de São Paulo como senior lecturer em 1995, onde após o doutorado foi promovida a professora assistente.Conhecida por seu trabalho sobre computação em nuvem, ocupa a Ford Motor Company Design Professorship II na Universidade do Texas A&M, onde é chefe do Departamento de Ciência da Computação e Engenharia. Foi eleita Distinguished Member da Association for Computing Machinery em 2011. (Página pessoal)

História da Matemática pela Internet

Doutora em Educação Matemática pela Universidade Estadual Paulista “Júlio de Mesquita Filho” – Unesp – campus de Rio Claro. Mestre em Ciências, aérea de concentração: Matemática (Álgebra) e Licenciada em Matemática, ambos pela Universidade de São Paulo – USP – campus São Paulo. Professora do ensino Básico, Técnico e Tecnológico do Instituto Federal de Educação, Ciência e Tecnologia de São Paulo – IFSP (Campus São Paulo), onde faz parte do corpo de docentes permanentes do Mestrado Profissional em Matemática em Rede Nacional – PROFMAT – IFSP/SPO. Foi coordenadora do curso de Licenciatura em Matemática (2020 -2022). Atualmente é diretora do Departamento de Ciências e Matemática (DCM-SPO). Tem experiência na área de Matemática e Educação Matemática, com ênfase na área de ensino e história, atuando principalmente nos seguintes temas: ensino e aprendizagem de matemática, ensino de álgebra, formação de professores, história da matemática e produção de significado (Lattes)

Possui graduação em Licenciatura em Matemática pela Universidade de São Paulo (2000) e mestrado em Estatística pela Universidade de São Paulo (2010). Atualmente é professora do Governo do Estado de São Paulo e prefeitura de São Paulo do ensino fundamental 2 e médio nas disciplinas de Matemática e Física. Lecionou 5 anos para a graduação e pós-graduação em cursos presenciais na Faculdade Anhanguera com a disciplina de Estatística de 2010 a 2015 em Santo André, SP. (Lattes)

Francisco: possui Bacharelado Em Matemática (1971), assim como Mestrado em Matemática (1972) e Doutorado em Matemática (1974). todos pela Universidade de São Paulo. Também é bacharel em psicologia (1990) pela USP. Atualmente é professor senior (aposentado) da Universidade de São Paulo. Desenvolve sua pesquisa na área de Álgebra, com ênfase em Teoria de Anéis e Teoria de Grupos, atuando principalmente nos seguintes temas: anéis, grupos, anéis de grupo, álgebras de loop, teoria algébria de códigos. Foi diretor do IMEUSP de 2004 a 2008 e do Centro Interunidade de História da Ciência de 2008 a 2011. Orientou a primeira tese em História da Matemática apresentada ao IMEUSP, em 2008. De acordo com o Mathematics Genealogy Project, Polcino é “descendente acadêmico” de Leonhard Euler. (FAPESP)

Doutor e mestre em Matemática Aplicada pela Universidade de São Paulo (respectivamente em 1999 e 1994). Licenciado em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (1988). Atualmente é professor assistente do departamento de Ciência da Computação do Instituto de Matemática e Estatística da Universidade de São Paulo (IME-USP). Tem experiência na área de Ciência da Computação, com ênfase em Informática na Educação, atuando principalmente nos seguintes temas: ensino à distância, geometria interativa (dinâmica), ambiente interativo de aprendizagem e avaliação automática, com interesse no desenvolvimento e aplicação de novos sistemas de apoio ao ensino (tais como iGeom, iGraf, iComb, iVProg, iMath e SAW). Com menor ênfase tem atuação em otimização contínua.(Página pessoal)

Autômatos e Algoritmos de Busca de Padrões

Graduação (2000) e Mestrado (2004) em Ciência da Computação no IME-USP, Doutorado em Informatique na Télécom Paris (2008) com bolsa da CAPES, professor associado na Universidade Federal Rural de Pernambuco, campus Recife (admitido em 2009). Atualmente é diretor do Departamento de Computação da UFRPE. Sua principal área de interesse é Teoria dos Autômatos. (Lattes)

Possui graduação em Bacharelado em Ciência da Computação pela Universidade de São Paulo (1976), mestrado em Matemática Aplicada pela Universidade de São Paulo (1983) e doutorado em Matemática Aplicada pela Universidade de São Paulo (1992). Atualmente é professora doutora da Universidade de São Paulo. Tem experiência na área de Teoria da Computação, com ênfase em Linguagem Formais e Autômatos. (Página pessoal)

Desenvolvimento de um Software Livre para Manipulação de Bases de URL’s e geração automática de paginas www

Possui graduação em Bacharelado em Ciência da Computação pelo Instituto de Matemática e Estatística(2003) e Mestrado em Ciência da Computação na área de Inteligência Aritifical (2008). Especialista em desenvolvimento trabalhando principalmente como engenheiro de dados, tendo ampla experiência com processamento de dados e geração de métricas usando diversas linguagens e tecnologias.

Graduou-se em Ciência da Computação pela Universidade Estadual Paulista (1992), tendo mestrado em Engenharia Elétrica pela Universidade Estadual de Campinas (1993), doutorado em Física Computacional pela USP (1997). Realizou estágios junto à Université Catholique de Louvain (Bélgica) e Telecom-ParisTech (França). É professor titular no Departamento de Ciência da Computação do IME-USP e bolsista de produtividade em pesquisa nível I-A do CNPq. É coordenador do Núcleo de Apoio à Pesquisa em e-Science da USP (e-Science-USP). Pesquisador associado do INOVA-USP. Atua principalmente nas áreas de e-Science, visão computacional, reconhecimento de padrões, processamento de imagens, bioinformática e mineração de dados. (Lattes)

Compartilhe