Imre Simon :: home page

Ph.D - University of Waterloo, Canada, 1972

Professor, 1984; retired since 2002

Department of Computer Science
Institute of Mathematics and Statistics
University of São Paulo
São Paulo, SP, Brasil

To see my address, phone, fax, etc., please click here.

To see an enlargement of my photo, please click here.

To see my Currículo Lattes, please click here.

I was the President of the University's Central Comission on Informatics, from 1994 to 1998.

I am coordinating an interdisciplinary Group of
Studies of Information and Communication at the
Institute for Advanced Studies of the University.

I am a member of FAPESP's Coordinating Comission of the
TIDIA (Tecnologia da Informação no Desenvolvimento da Internet Avançada) Program,
where I am the Scientific Coordinator of the
Virtual Incubator of Digital Contents Project .

Since 2002 I am working, on and off, on an innovative information storage system
which can be used as an "intelligent" backup of filesystems.
The system is called BRF (Backup, Remember, and Forget).
A GPL prototype can be found here.
The best description of the system to date is found in the Course Conclusion Paper, UFBA, 2006,
of Tássia Camões Araújo.

Lectures and Conferences by myself (mainly in Portuguese)

Recent teaching activities (in Portuguese)

• MAC 339 - Informação, Comunicação e a Sociedade do Conhecimento (anually, since 2000)
• Curso Especial de Lógica Matemática na Poli, 2002/2003
• "Inovação e Cooperação na Internet", Programa Educar 2002 da Cidade do Conhecimento, 2002
• MAC 122 Princípios de Desenvolvimento de Algoritmos (2000)
• MAC 5711 Análise de Algoritmos (2000)
• MAC 5711 Análise de Algoritmos (1999)
• MAC 122 Princípios de Desenvolvimento de Algoritmos (1999)
• MAC 333 - A Revolução Digital e a Sociedade do Conhecimento (1999)
• Aulas sobre a A Revolução Digital e a Sociedade do Conhecimento (1998)
• Estruturas de dados para engenharia (1998)

Research Interests

• Pseudovarieties of languages and semigroups
• Multiplicity theory of the tropical semiring
• Words, automata and algorithms
• Social impact of computer networks

List of Publications

Full text of a book (in Portuguese)

Full text of some papers

• O rossio não-rival (2008, com Miguel Said Vieira) [pdf]
• A Propriedade Intelectual diante da Emergência da Produção Social (2007, com Miguel Said Vieira) [pdf]
• O oráculo bibliográfico: sonhos de um pesquisador (2002) [vários formatos]
• Words Distinguished by their Subwords (2003) [PostScript]
• The Product of Rational Languages (1993) [PostScript]
• Impacto da Tecnologia de Informação na Sociedade do Futuro (2000) [html]
• A Propriedade Intelectual na Era da Internet (2000) [vários formatos]
• Free Burnside Semigroups (2001, with Alair Pereira do Lago) [PostScript]
• The Tropical Semiring and the Theory of Automata (1998) [PostScript]
• Recognizable Sets with Multiplicities in the Tropical Semiring [PostScript]
• On Semigroups of Matrices over the Tropical Semiring [PostScript]
• A Universidade diante das novas tecnologias de informação e comunicação [html]
• Informação: Computação e Comunicação [many formats]
• Von Neumann, o Cientista e a Figura Humana [PostScript]
• The Nondeterministic Complexity of a Finite Automaton [PostScript]
• String Matching Algorithms and Automata [PostScript]
• Sequence Comparison: Some Theory and Some Practice [PostScript] [html]
• Compression and Entropy [PostScript]