|
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 35 PhD theses and 103 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).
|
