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 Université Paris 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.

Informações coletadas do Lattes em 13/08/2022

Acadêmico

Formação acadêmica

Doutorado em Computer Science

1970 - 1972

University of Waterloo
Título: Hierarchies of Events with Dot-Depth One
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.

Mestrado em Computer Science

1969 - 1970

University of Waterloo
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.

Graduação em Engenharia Eletrônica

1962 - 1966

Universidade de São Paulo

Pós-doutorado

1978 - 0000

Livre-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 - 1980

Pós-Doutorado. , Université Paris 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.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Húngaro

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

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.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.

Orientou

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);

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;

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;

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;

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;

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;

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;

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;

Yoshiko Wakabayashi

Sobre Grafos Hamiltonianos; 1977; 0 f; Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo,; Orientador: Imre Simon;

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;

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;

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;

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;

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;

Produções bibliográficas

SIMON, I. . O Oráculo Bibliográfico: Sonhos de um Pesquisador. Revista USP , São Paulo, v. 55, p. 6-11, 2002.
LAGO, A. P. ; SIMON, I. . Free Burnside Semigroups. RAIRO. Informatique Théorique et Applications , Les Ulis, France, v. 35, p. 579-595, 2001.
MORAES, F. F. ; SIMON, I. . Computer networks and the internationalization of higher education. Higher Education Policy , Paris, v. 13, p. 319-324, 2000.
SIMON, I. . A Propriedade Intelectual na Era da Internet. Datagramazero (Rio de Janeiro) , Rio de Janeiro, v. 1, n.3, 2000.
ÉSIK, Z. ; SIMON, I. . Modeling literal morphisms by shuffle. Semigroup Forum , v. 56, p. 225-227, 1998.
SIMON, I. ; MORAES, F. F. . As novas tecnologias e as universidades milenares. Revista USP , v. 35, p. 7-9, 1997.
MANDEL, A. ; SIMON, I. ; DELYRA, J. . Informação: computação e comunicação. Revista USP , v. 35, p. 11-45, 1997.
SIMON, I. . Von Neumann, o cientista e a figura humana. Estudos Avançados, v. 26, p. 179-188, 1996.
SIMON, I. ; CORDANI, U. G. . A obra e o legado de John von Neumann. Estudos Avançados, v. 26, p. 175-177, 1996.
SIMON, I. . On semigroups of matrices over the tropical semiring. TSI. Technique et Science Informatiques , p. 277-294, 1994.
SIMON, I. . Factorization forests of finite height. Theoretical Computer Science , v. 72, p. 65-94, 1990.
SIMON, I. . Infinite words and a theorem of Hindman. Revista de Matemáticas Aplicadas , v. 9, p. 97-104, 1988.
PIN, J. ; SIMON, I. . A note on the triangle conjecture. Journal of Combinatorial Theory. Series A , v. 32, p. 106-109, 1982.
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.
SIMON, I. . On finite semigroups of matrices. Theoretical Computer Science , v. 5, p. 101-111, 1977.
SIMON, I. ; BRZOZOWSKI, J. A. . Characterizations of Locally testable Events. Discrete Mathematics , v. 4, n.3, p. 243-271, 1973.
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.
SIMON, I. ; KOWALTOWSKI, T. . Cálculo do rastreio superheterodino. Electron, São Paulo, v. 19, p. 17-21, 1967.
SIMON, I. ; KOWALTOWSKI, T. . Síntese Moderna de Filtros no Computador, 1a parte. Electron, São Paulo, v. 17, p. 233-237, 1966.
SIMON, I. ; KOWALTOWSKI, T. . Síntese moderna de filtros no computador. Electron, São Paulo, v. 18, p. 285-287, 1966.
LAGO, A. P. ; SIMON, I. . Tópicos em Algoritmos sobre Sequências. Rio de Janeiro: Instituto de Matemática Pura e Aplicada (IMPA), 2003. 108p .
SIMON, I. (Org.) ; PEHRSON, B. (Org.) . IFIP'94 - 13th World Computer Congress . Amsterdam: Northe-Holland, 1994.
SIMON, I. (Org.) . LATIN'92 - 1st. Latin American Symposium on Theoretical Informatics. Berlin: Springer-Verlag, 1992.
SIMON, I. . Linguagens Formais e Autômatos. Campinas: IMECC-UNICAMP, 1981.
SIMON, I. . Configurações Combinatórias. Rio de Janeiro: IMPA, 1981.
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. 292p .
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.
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.
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. -.
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.
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.
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.
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.
SIMON, I. ; SAKAROVITCH, J. . Subwords. In: M. Lothaire. (Org.). Combinatorics on Words. Reading: Addison-Wesley, 1983, v. , p. 105-144.
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.
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.
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.
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.
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.
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.
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.
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.
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.
SIMON, I. . Piecewise Testable Events. In: 2nd GI Conference, 1975, Kaiserslautern. Automata Theory and Formal languages. Berlin: Springer-Verlag, 1975. p. 214-222.
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.
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.
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.
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.
SIMON, I. . A propriedade intelectual na era da Internet 2000 (Trabalho em vias de publicação).
KARPISCHEK, R. U. ; SIMON, I. . Ferramentas computacionais para um esforço cooperativo de digitalização de textos impressos 2000 (artigo submetido).
LAGO, A. P. ; SIMON, I. . Free Burnside semigroups 1999 (Trabalho em vias de publicação).
MORAES, F. F. ; SIMON, I. . Computer networks and the internationalization of higher education 1999 (Trabalho em vias de publicação).
SIMON, I. . News from Latin America. Leiden: Bulletin of the European Association for Theoretical Computer Science, 1991 (Coluna em revista científica).
SIMON, I. . Palavras, autômatos e algoritmos, uma bibliografia. São Paulo: IME-USP, 1990 (Bibliografia).
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).
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).

Outras produções

SIMON, I. . TAB. 1969.

Prêmios

2006

Prêmio de Mérito Científico, Sociedade Brasileira de Computação.

1996

Membro da Ordem Nacional do Mérito Científico (Grã-Cruz), Ministério da Ciência e Tecnologia.

1989

Prêmio Científico da Union des Assurances de Paris (UAP), Union des Assurances de Paris (UAP).

1981

Membro da Academia Brasileira de Ciências, Academia Brasileira de Ciências.

1980

Membro da Academia de Ciências do Estado de São Paulo, Academia de Ciências do Estado de São Paulo.

1979

Prêmio Jabuti, Câmara Brasileira do Livro.

Histórico profissional

Endereço profissional

Universidade 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:

Experiência profissional

1966 - 1969

Universidade Estadual de Campinas

Vínculo: Servidor público ou celetista, Enquadramento Funcional: auxiliar de Ensino, Carga horária: 20

Atividades

03/1966 - 07/1969
Ensino,,Disciplinas ministradas, Programação de Computadores

1966 - 1969

Universidade de São Paulo

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Auxiliar de Ensino, Carga horária: 20

Atividades

01/1973
Ensino,,Disciplinas ministradas, Inúmeras disciplinas
01/1973
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Inúmeras disciplinas
03/1994 - 11/1998
Direçã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.
08/1991 - 07/1993
Direçã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.
03/1986 - 02/1990
Direção e administração, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, Vice-Diretor.
03/1966 - 07/1969
Pesquisa e desenvolvimento , Faculdade de Saúde Pública, Departamento de Estatística.,Linhas de pesquisa