SciELO - artigos em texto completo

Imre Simon

possui graduação em Engenharia Eletrônica pela Universidade de São Paulo (1966) , mestrado em Computer Science pela University of Waterloo (1970) , doutorado em Computer Science pela University of Waterloo (1972) e pós-doutorado pela Universite de Paris VII - Universite Denis Diderot (1980) . Atualmente é Professor aposentado da Universidade de São Paulo. Tem experiência na área de Ciência da Computação , com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas: propriedade das potências finitas, linguagens formais, autômatos com multiplicidades, semianel tropical.
(Texto gerado automaticamente pela aplicação CVLattes)

Última atualização do currículo em 23/08/2006
Endereço para acessar este CV:
http://lattes.cnpq.br/1096789853293909
Dados pessoais
NomeImre Simon
Nome em citações bibliográficasSIMON, I.
SexoMasculino
Endereço profissionalUniversidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Rua do Matao 1010
Cidade Universitaria
05508-900 - Sao Paulo, SP - Brasil
Telefone: (11) 30915177 Fax: (11) 30916135
URL da Homepage: http://www.ime.usp.br

Formação acadêmica/Titulação
1978Livre-docência.
Universidade de São Paulo, USP, Brasil.
Título: Caracterização de conjuntos racionais limitados, Ano de obtenção: 1978.
Palavras-chave: propriedade das potências finitas; linguagens formais; autômatos com multiplicidades; semianel tropical.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
1979 - 1980Pós-Doutorado .
Universite de Paris VII - Universite Denis Diderot.
Bolsista do(a): Centre National de la Recherche Scientifique .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
1970 - 1972Doutorado em Computer Science .
University of Waterloo, U.W., Canadá.
Título: Hierarchies of Events with Dot-Depth One, Ano de Obtenção: 1972.
Orientador: John A Brzozowski.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo .
Palavras-chave: teoria dos autômatos; linguagens formais; pseudovariedades de linguagens; pseudovariedades de semigrupos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
1969 - 1970Mestrado em Computer Science .
University of Waterloo, U.W., Canadá.
Título: Notes on Noncounting Languages of Order 2, Ano de Obtenção: 1970.
Orientador: John A Brzozowski.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo .
Palavras-chave: teoria dos autômatos; linguagens formais; problema de Burnside.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
1962 - 1966Graduação em Engenharia Eletrônica .
Universidade de São Paulo, USP, Brasil.

Atuação profissional
Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional
1966 - 1969 Vínculo: Servidor público ou celetista, Enquadramento Funcional: auxiliar de Ensino, Carga horária: 20
Atividades
3/1966 - 7/1969Ensino, Nível: Graduação.
Disciplinas ministradas
Programação de Computadores
Universidade de São Paulo, USP, Brasil.
Vínculo institucional
2002 - Atual Vínculo: Professor aposentado, Enquadramento Funcional: Professor aposentado
Vínculo institucional
1985 - 2002 Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 0, Regime: Dedicação exclusiva.
Vínculo institucional
1981 - 1984 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor adjunto, Carga horária: 0, Regime: Dedicação exclusiva.
Vínculo institucional
1978 - 1981 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Livre-Docente, Carga horária: 0, Regime: Dedicação exclusiva.
Vínculo institucional
1973 - 1978 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente Doutor, Carga horária: 0, Regime: Dedicação exclusiva.
Vínculo institucional
1969 - 1972 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Auxiliar de Ensino, Carga horária: 0, Regime: Dedicação exclusiva.
Vínculo institucional
1966 - 1969 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Auxiliar de Ensino, Carga horária: 20
Atividades
1/1973 - AtualEnsino, Nível: Graduação.
Disciplinas ministradas
Inúmeras disciplinas
1/1973 - AtualEnsino, Ciências da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Inúmeras disciplinas
3/1994 - 11/1998Direção e administração, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Cargo ou função
Presidente da Comissão Central de Informática da USP.
8/1991 - 7/1993Direção e administração, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Cargo ou função
Chefe de Departamento.
3/1986 - 2/1990Direção e administração, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Cargo ou função
Vice-Diretor.
3/1966 - 7/1969Pesquisa e desenvolvimento , Faculdade de Saúde Pública, Departamento de Estatística.
Linhas de pesquisa
Estudo retrospectivo da Fertilidade da Mulher Brasileira

Linhas de Pesquisa
1. Estudo retrospectivo da Fertilidade da Mulher Brasileira

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
2. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.

Idiomas
Português Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Húngaro Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Francês Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Prêmios e títulos
2006Prêmio de Mérito Científico, Sociedade Brasileira de Computação.
1996Membro da Ordem Nacional do Mérito Científico (Grã-Cruz), Ministério da Ciência e Tecnologia.
1989Prêmio Científico da Union des Assurances de Paris (UAP), Union des Assurances de Paris (UAP).
1981Membro da Academia Brasileira de Ciências, Academia Brasileira de Ciências.
1980Membro da Academia de Ciências do Estado de São Paulo, Academia de Ciências do Estado de São Paulo.
1979Prêmio Jabuti, Câmara Brasileira do Livro.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. SIMON, I. . O Oráculo Bibliográfico: Sonhos de um Pesquisador. Revista USP, São Paulo, v. 55, p. 6-11, 2002.
2. LAGO, A. P. ; SIMON, I. . Free Burnside Semigroups. RAIRO. Informatique Théorique et Applications, Les Ulis, France, v. 35, p. 579-595, 2001.
3. MORAES, F. F. ; SIMON, I. . Computer networks and the internationalization of higher education. Higher Education Policy, Paris, v. 13, p. 319-324, 2000.
4. SIMON, I. . A Propriedade Intelectual na Era da Internet. Datagramazero (Rio de Janeiro), Rio de Janeiro, v. 1, n. 3, 2000.
5. ÉSIK, Z. ; SIMON, I. . Modeling literal morphisms by shuffle. Semigroup Forum, v. 56, p. 225-227, 1998.
6. SIMON, I. ; MORAES, F. F. . As novas tecnologias e as universidades milenares. Revista USP, v. 35, p. 7-9, 1997.
7. MANDEL, A. ; SIMON, I. ; DELYRA, J. . Informação: computação e comunicação. Revista USP, v. 35, p. 11-45, 1997.
8. SIMON, I. . Von Neumann, o cientista e a figura humana. Estudos Avançados, v. 26, p. 179-188, 1996.
9. SIMON, I. ; CORDANI, U. G. . A obra e o legado de John von Neumann. Estudos Avançados, v. 26, p. 175-177, 1996.
10. SIMON, I. . On semigroups of matrices over the tropical semiring. TSI. Technique et Science Informatiques, p. 277-294, 1994.
11.   SIMON, I. . Factorization forests of finite height. Theoretical Computer Science, v. 72, p. 65-94, 1990.
12. SIMON, I. . Infinite words and a theorem of Hindman. Revista de Matemáticas Aplicadas, v. 9, p. 97-104, 1988.
13. PIN, J. ; SIMON, I. . A note on the triangle conjecture. Journal of Combinatorial Theory. Series A, v. 32, p. 106-109, 1982.
14. SIMON, I. . Conditions de finitude pour des semigroups. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, v. 290, p. 1081-1082, 1980.
15. SIMON, I. . On finite semigroups of matrices. Theoretical Computer Science, v. 5, p. 101-111, 1977.
16.   SIMON, I. ; BRZOZOWSKI, J. A. . Characterizations of Locally testable Events. Discrete Mathematics, v. 4, n. 3, p. 243-271, 1973.
17. AL, E. S. B. E. ; SIMON, I. . Levels and variations in fertility in São Paulo. Milbank Memorial Fund Quarterly, v. XLVI, n. 3, p. 167-175, 1968.
18. SIMON, I. ; KOWALTOWSKI, T. . Cálculo do rastreio superheterodino. Electron, São Paulo, v. 19, p. 17-21, 1967.
19. SIMON, I. ; KOWALTOWSKI, T. . Síntese Moderna de Filtros no Computador, 1a parte. Electron, São Paulo, v. 17, p. 233-237, 1966.
20. SIMON, I. ; KOWALTOWSKI, T. . Síntese moderna de filtros no computador. Electron, São Paulo, v. 18, p. 285-287, 1966.
Livros publicados/organizados ou edições
1. LAGO, A. P. ; SIMON, I. . Tópicos em Algoritmos sobre Sequências. Rio de Janeiro: Instituto de Matemática Pura e Aplicada (IMPA), 2003. 108 p.
2. SIMON, I. (Org.) ; PEHRSON, B. (Org.) . IFIP'94 - 13th World Computer Congress . Amsterdam: Northe-Holland, 1994.
3. SIMON, I. (Org.) . LATIN'92 - 1st. Latin American Symposium on Theoretical Informatics. Berlin: Springer-Verlag, 1992.
4. SIMON, I. . Linguagens Formais e Autômatos. Campinas: IMECC-UNICAMP, 1981.
5. SIMON, I. . Configurações Combinatórias. Rio de Janeiro: IMPA, 1981.
6. LUCCHESI, C. L. ; SIMON, I. ; SIMON, Istvan ; SIMON, Janos ; KOWALTOWSKI, T. . Aspectos Teóricos da Computação. Rio de Janeiro: Livros Técnicos e Científicos Editora, 1977. v. 1. 292 p.
7. SETZER, V. W. ; SIMON, I. ; KOWALTOWSKI, T. . Curso de FORTRAN IV básico. São Paulo: Edgard Blucher e Editora da USP, 1972. v. 1.
Capítulos de livros publicados
1. SIMON, I. . A Universidade e a tecnologia da Informação. In: Marília Junqueira Caldas. (Org.). A USP e seus Desafios. São Paulo: Editora da Universidade de São Paulo, 2001, v. , p. 275-280.
2. SIMON, I. ; DELYRA, J. ; MANDEL, A. . Informação: Computação e Comunicação. In: Academia Brasileira de Ciências. (Org.). A Importância da Ciência para o Desenvolvimento Nacional. Rio de Janeiro: Academia Brasileira de Ciências, 1997, v. , p. -.
3. SIMON, I. . String matching algorithms and automata. In: Hermann Maurer; Juhani Karhumaki; G. Rozenberg. (Org.). Results and Trends in Theoretical Computer Science. Berlin: Springer-Verlag, 1994, v. , p. 386-395.
4. SIMON, I. . A short proof of the factorization forest theorem. In: Maurice Nivat; Andreas Podelski. (Org.). Tree Automata and Languages. Amsterdam: Elsevier Science Publishers, 1992, v. , p. 433-438.
5. SIMON, I. . The nondeterministic complexity of a finite automaton. In: M. Lothaire. (Org.). Mots - mélanges offerts à M. P. Schützenberger. Paris: Hermes, 1990, v. , p. 384-400.
6. SIMON, I. . Word Ramsey theorems. In: Bela Bollobás. (Org.). Graph Theory and Combinatorics: a volume in honor of Paul Erdös. London: Academic Press, 1984, v. , p. 283-291.
7. SIMON, I. ; SAKAROVITCH, J. . Subwords. In: M. Lothaire. (Org.). Combinatorics on Words. Reading: Addison-Wesley, 1983, v. , p. 105-144.
8. SIMON, I. . On Brzozowski's problem: (1+A)m=A*. In: Irene Guessarian. (Org.). Seminar d'Informatique Théorique. Paris: LITP, 1979, v. , p. 67-72.
Trabalhos completos publicados em anais de congressos
1. SIMON, I. . The product of rational languages. In: ICALP - International Conference on Automata, Languages and Programming, 1993, Lund. Proceedings of ICALP'93 - International Conference on Automata, Languages and Programming. Berlin : Springer-Verlag, 1993. p. 430-444.
2. HANSEL, G. ; PERRIN, D. ; SIMON, I. . Compression and entropy. In: STACS - Symposium on Theretical Aspects of Computer Science, 1992, Paris. Proceedings of STACS'92 - Symposium on Theretical Aspects of Computer Science. Berlin : Springer-Verlag, 1992. p. 515-528.
3. SIMON, I. . Properties of Factorization Forests. In: Formal Properties of Finite Automata and Applications, 1989, Ramatuelle. Formal Properties of Finite Automata and Applications. Berlin : Springer-Verlag, 1989. p. 65-72.
4. SIMON, I. . Recognizable sets with multiplicity in the tropical semiring. In: Mathematical Foundations of Computer Science, 1988, Karlovy Vary. Mathematical Foundations of Computer Science, 1988. Berlin : Springer-Verlag, 1988. p. 107-120.
5. SIMON, I. . Sequence comparison: some theory and some practice. In: Electronic Dictionaries and Automata in Computational Linguistics, 1988. Electronic Dictionaries and Automata in Computational Linguistics79. Berlin : Springer-Verlag, 1988. p. 79-92.
6.   SIMON, I. . Limited subsets of a free monoid. In: Symposium on Foundations of Computer Science, 1978, Ann Arbor. Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978. v. 19. p. 143-150.
7. SIMON, I. ; MURTY, U. S. R. . A beta-function that is not a sum of rank functions of matroids. In: Problemes Combinatoires et Theorie des Graphs, 1978, Orsay. Problemes Combinatoires et Theorie des Graphs. Paris : CNRS, 1978.
8. SIMON, I. . Alguns problemas típicos na teoria dos grafos. In: 10o Colóquio Brasileiro de Matemática, 1978, Poços de Caldas. Atas do 10o Colóquio Brasileiro de Matemática. Rio de Janeiro : IMPA, 1978.
9.   SIMON, I. . Piecewise Testable Events. In: 2nd GI Conference, 1975, Kaiserslautern. Automata Theory and Formal languages. Berlin : Springer-Verlag, 1975. p. 214-222.
10. SIMON, I. ; BRZOZOWSKI, J. A. . Characterizations of Locally Testable Events. In: 12th Annual Symposium on Switching and Automata Theory, 1971, East Lansing. Proceedings of the 12th Annual Symposium on Switching and Automata Theory. Piscataway : IEEE, 1971. p. 166-176.
Resumos expandidos publicados em anais de congressos
1. SIMON, I. . Words distinguished by their subwords. In: WORDS'03 4th International Conference on Combinatorics on Words, 2003, Turku. Proceedings of WORDS'03, 2003. p. 6-13.
Resumos publicados em anais de congressos
1. SIMON, I. . The tropical semiring and the theory of automata. In: 26-éme École des Printemps d'Informatique Théorique, 1998, Ile de Noirmoutier. Algébres Max-Plus et applications en informatique et automatique. Le Chesnay : INRIA, 1998. p. 373-376.
2. SIMON, I. . String matching algorithms and automata: extended abstract.. In: First South American Workshop on String Processing, 1993, Belo Horizonte. First South American Workshop on String Processing. Belo Horizonte : UFMG, 1993. p. 151-157.
Demais tipos de produção bibliográfica
1. SIMON, I. . A propriedade intelectual na era da Internet 2000 (Trabalho em vias de publicação).
2. KARPISCHEK, R. U. ; SIMON, I. . Ferramentas computacionais para um esforço cooperativo de digitalização de textos impressos 2000 (artigo submetido).
3. LAGO, A. P. ; SIMON, I. . Free Burnside semigroups 1999 (Trabalho em vias de publicação).
4. MORAES, F. F. ; SIMON, I. . Computer networks and the internationalization of higher education 1999 (Trabalho em vias de publicação).
5. SIMON, I. . News from Latin America. Leiden: Bulletin of the European Association for Theoretical Computer Science, 1991 (Coluna em revista científica).
6. SIMON, I. . Palavras, autômatos e algoritmos, uma bibliografia. São Paulo: IME-USP, 1990 (Bibliografia).
7. KARHUMAKI, J. ; SIMON, I. . A note on elementary homomorphisms and their regularity of equality sets. Leiden: Bulletin of the European Association for Theoretical Computer Science, 1979 (artigo em revista sem referee).
8. SIMON, I. . On the time required by the Davis-Putnam tautology recognition algorithm. Providence: Notices of the American Mathematical Society, 1971 (Artigo em revista sem referee).
Produção técnica
Softwares sem registro de patente
1. SIMON, I. . TAB. 1969.

Orientações
Orientações em andamento
Dissertação de mestrado
1. Evelyn Cristina Pinto. Bibliotecas Digitais: Performance, Tendências e Impactos. Início: 2004. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Evelyn Cristina Pinto. Repensando os "Commons" da Comunicação Científica. 2006. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . Orientador: Imre Simon.
2. Marcelo Ris. Métodos adaptativos de compressão de palvras. 1996. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Imre Simon.
3. Ricardo Ueda Karpischek. O autômato dos sufixos. 1993. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Imre Simon.
4. Alair Pereira do Lago. Sobre os semigrupos de Burnside x{n}=x{n+m}. 1991. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Imre Simon.
5. Nami Kobayashi. Propriedades de conjuntos-igualdade de códigos. 1983. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Imre Simon.
6. Wagner Tunis Martins. Palavras infinitas sem repetições. 1980. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Imre Simon.
7. Maria Angela Melo de Campos Gurgel. Um teorema mini-max para conjuntos parcialmente ordenados finitos. 1978. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Imre Simon.
8. Yoshiko Wakabayashi. Sobre Grafos Hamiltonianos. 1977. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Imre Simon.
9. Arnaldo Mandel. K-subconjuntos limitados de um monóide livre. 1976. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Imre Simon.
10. Maria Lúcia U. de Oliveira Braga. Certas Numerações de Grafos. 1976. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Imre Simon.
11. Paulo Feofiloff. Sobre os Números de Ramsey. 1974. 0 f. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Imre Simon.
Tese de doutorado
1. Alair Pereira do Lago. Grupos Maximais em Semigrupos de Burnside Livres. 1998. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Imre Simon.
2. Nami Kobayashi. Propriedades de M-subconjuntos reconhecíveis de um monóide livre. 1991. 0 f. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Imre Simon.

Outras informações relevantes 
Membro da Coordenação do Programa TIDIA da FAPESP, sendo o Coordenador do Projeto da Incubadora Virtual: http://incubadora.fapesp.br

Membro da Coordenação Nacional  do PRONEX (Programa de Apoio a Núcleos de EXcelência do MCT/CNPq).
.
Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 21:47:50