|
|
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 committees.
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 34
PhD theses and 91 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; 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.
|
|
