About

The author started in Computing around the late IBM 1620 computer, installed in 1962, at the then Center for Numerical Calculation of the Polytechnic School of the University of São Paulo. He graduated as an Electronic Engineer from that School. He undertook postgraduate studies abroad, obtaining a Ph.D. degree in Computing.

He graduated in 1966 and earned a Ph.D. degree from the University of California, Berkeley in 1973. Tomasz was a Professor at USP and is currently director of the Institute of Computing at UNICAMP. His areas of interest are: design, implementation and semantics of programming languages and formal verification of program correctness.

Published Books

Theoretical Aspects of Computing