Prof. Lucena completed his undergraduate
studies in Economics and Mathematics between 1962 and 1965 at the Catholic University
of Rio de Janeiro (PUC-Rio). While an undergraduate he worked as a computer
programmer at the Computing Center of PUC-Rio. This Computing
Center, founded in 1960, was the
first computer laboratory in Brazil. In 1965, he was hired
by the Mathematics Department of PUC-Rio to coordinate the area of
computational mathematics. In 1968, together with a small group of
colleagues he founded the first Computer Science Department in Brazil, and since 1977 the first in the rank of the CAPES (Ministry of Education). Later, Prof. Lucena received his Masters degree from the University of Waterloo
(1969), Canada, and his
PhD from the University of California in Los Angeles (1974).
Since 1965, he has been the Chairman of the Computer Science Department,
the Dean of the Center
of Science and
Technology and Vice-rector at PUC-Rio. He is a Full Professor of Computer
Science since 1982 and has served in all the university's formal
Prof. Lucena is an Adjunct Professor of
Computer Science and a Senior Research Associate of the Computer Systems
Group at the University
of Waterloo which he
has visited on a regular basis since 1975.
His service to the Brazilian academic community since 1972 includes: his
participation in the Computer Science Committee and the Governing Board of
the Brazilian Research Council (CNPq),
coordination of the area of Computer Science of CAPES, Ministry of
Education (from 1980 to 1984), and the coordination of the scientific
cooperation agreement between Brazil and Germany in the area of Information
Technology (CNPq/GMD). Recently Professor Lucena was the coordinator of the Computer Science Area
of CAPES in 2005-2007. From 1995 to 1996, Professor Lucena
represented the Brazilian academic community in the Steering Committee of
the Project Internet in Brazil.
He also represents the President's Council for Science and Technology
(Information Technology) for the last eleven years.
Prof. Lucena is the author of over 450
refereed papers and 19 books in the area of formal methods in software
engineering, his primary area of research. He has also been a member of the
program committees of more than 30 national and international conferences
as well as member of the editorial board of some important journals in his
area of research. Until 2009, he has supervised 37 PhD theses and 105 MSc dissertations. His former PhD students are faculty
members in universities in Brazil
and abroad (eg. USA,
Canada and England).
Prof. Lucena has received, among others, the
Alvaro Alberto Award in Informatics in 1987 (Ministry of Science and
Technology), twice the National Award in Informatics (1988 and 1991) and
the Great Cross of the National Order of the Scientific Merit in 1996.
Prof. Lucena is a full member of the Brazilian Academy
of Sciences and also fellow of TWAS – Academy of Sciences
for the Developing World, since Nov. 2008.
Recently, he has received the following awards and honors: Sixty
Anniversary Award from PUC-Rio and the CAPES Medal "50 Years", in
2001; The Scientific Merit Award from the Brazilian Computing Society
(SBC), in 2002 and 2010; Research Felow from the Fraunhofer Institute for Computer Architecture and
Software Technology (Berlin), in 2003; IBM Faculty Award and IBM Eclipse
Innovation Award, in 2004; The Scientific Merit Award Carlos Chagas Filho, in 2005; IBM
Eclipse Innovation Award and Assespro Personality
Award 30 years, both in 2006, and “ACM Distinguished Scientist” (in 2009).