Carlos de Lucena

Carlos J.P. de Lucena (lucena@csg.uwaterloo.ca) is a Full-Professor in the Department of Computer Science at PUC-Rio since 1982. He received the B.Sc degree from the Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Brazil, in 1965, the M.Math. degree in computer science from the University of Waterloo, Canada, in 1969, and the Ph.D. degree in computer science from the University of California at Los Angeles in 1974. He is also a member of the Editorial Board of International Journal on Formal Aspects of Computing (New York: Springer-Verlag).

April 2001