Carlos José Pereira de Lucena



Biography (in English)






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 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).





©2006 Carlos J. P. de Lucena.  Última Atualização: Jun 2012.