Alair Pereira do Lago

A. Pereira do Lago, an assistant professor in the Computer Science Department of University of São Paulo, is one of Imre Simon's students, a prized Hungarian mathematician who helped to found Computer Science in Brazil. Imre improved the mathematical rigor that was already present in the student since he also obtained the third premium in the International Olympiads on Mathematics, in 1983. They both helped to solve a 20 years old conjecture in Automata Theory and Formal Languages, and their work was cited by important researchers like Mark Sapir and Nachum Dershowitz. Pereira do Lago obtained his and Ph.D. at Dout. em Matematica Aplicada/Ciencia da Computacao from Instituto de Matematica e Dstatistica da Universidade de Sao Paulo (1998). Supervising other students on their Masters and/or PhD work, the former student has also been able to develop a quite rigorous research is areas as different as Operational Systems, Computational Biology, Advanced Data Structures, Information Retrieval, Formal Concept Analysis and Fraud Detection. He obtained his and Ph.D. at Dout. em Matematica Aplicada/Ciencia da Computacao from Instituto de Matematica e Dstatistica da Universidade de Sao Paulo (1998).

Possui graduação em Engenharia Elétrica pela Escola Politécnica daUniversidade de São Paulo (1987), mestrado em Matemática Aplicada peloInstituto de Matemática e Estatística da Universidade de São Paulo(1991) e doutorado em Matemática Aplicada/Ciência da Computação peloInstituto de Matemática e Estatística da Universidade de São Paulo(1998). Atualmente é professor do departamento de Ciência daComputação da Universidade de São Paulo, sendo professor responsáveldas seguintes disciplinas ativas do programa de Pós-Graduação emCiência da Computação: Recuperação de Informação, BiologiaComputacional. Com interessesamplos em diversos temas, também leciona na Pós-Graduação disciplinas mais fundamentais como Análise de Algoritmos e Teoria e Construção de Compiladores. Tem também interesses em Aprendizagem Computacional, Estruturas de Dados Avançadas e Mineração de Dados, com pesquisa recente em Detecção de Fraude. Além de realizar pesquisa envolvendo asreferidas áreas, também tem publicações em Linguagem Formais eAutômatos, Teoria de Semigrupos, Sistemas Operacionais. É também autor de livro em Algoritmos sobre Sequências com uso de Estruturas Avançadas de Dados.