Tomasz Kowaltowski

O autor começou-se em Computação em torno do saudoso computador IBM 1620, instalado em 1962, no então Centro de Cálculo Numérico da Escola Politécnica da Universidade de São Paulo. Formou-se Engenheiro Eletrônico por aquela Escola. Realizou estudos de pós-graduação no exterior, obtendo o grau de Ph.D. em Computação.

Formou-se em 1966 e obteve o grau de Ph.D na Universidade da California, Berkeley em 1973. Tomasz foi Professor da USP e atualmente é diretor do Instituto de Computação da UNICAMP. Suas áreas de interesse são: projeto, implementação e semântica de linguagens de programação e verificação formal da correção de programas.