Pedro Antonio Dourado de Rezende


Advanced to Candidacy for PhD in Applied Mathematics at University of California at Berkeley (1983), Bacharel and Master of Science in Mathematics at Universidade de Brasília (1975, 76)

Worked with Quality Assurance for the Macintosh Operating System at Apple Computer Inc. (Cupertino, CA), with digitized voice database systems at DataDial Inc. (Oakland, CA) and with the first hypertext applications, deploying HyperCard stacks for Macintoshes, in the USA (1988).

Professional interests include the study of formal methods for design and analysis of cryptographic protocols, personal interests include the study of linguistics, semiology, history and philosophy of science. The proposed (and rejected) PhD thesis at Berkeley investigates an algebraic model for the specification of distributive machine languages, and current research investigates the social costs of software business models.

Holds a tenured assistant professorship at University of Brasília (UnB) Computer Science Department (CSD) from 1991 to 2019, teaching computation theory, graph theory, automata and formal languages, programming languages, compilers, cryptography, coding theory, data security, information society, among other subjects. Earlier has worked as teaching assistant at UnB's Mathematics Department (1977 to 79) and at National Hispanic University, in Oakland, CA (1987).  At UnB's CSD has also coordinated the Informatics Lab and the undergraduate division (1995 to 97).

Participations in the Technical Group on Security Standards at Brazil's National Justice Council (2006), in the Interministerial Working Group on Information Society, chaired by Brazil's Foreign Affairs Office (2005), in the Advisory Council of Brazil's Institute for Law and Policy on Informatics (since 2003), in the Council of Free Software Foundation Latin America (2006 to 2008), and in the Steering Committe of Brazil's Public Key Infrastructure (2003 to 2006), by appointment of Brazil's President Lula da Silva.

Consultant on computer security and cryptography for companies, public agencies, legislators, lawyers, courts of law, and scientific research endowment agencies (for accreditation of research projects in computer science and of undergraduate courses in Brazil). Assistant to the President of Brazil's National Institute of Information Technology, on international matters related to immaterial property and Free and Open Source Software (2005). Head of UnB's Extension Program on Cryptography and Computer Security, first to offer a programming course on Pubic Key Infrastructures in Brazil (2003).

Has written and published hundreds articles and essays on the digital revolution, cryptography, computer security, the evolution of malware, computational paradigms, epistemology of science and on the Free Software movement. Has been lecturing and debating, in conferences, seminars and public hearings, on the subjects of Free Software, computer security, cryptocurrencies, their relation to Law, to the legislative process and to citizenship. Co-author of the book "Burla Eletronica", on vulnerabilities of Brazil's electronic voting system, and the column "Segurança, Bits & Cia.", in Brazil's second oldest newspaper (Jornal do Commercio, 2002 to 2003).

Academic activities include supervision of pioneer undergraduate projects on computer security, among them the first TCP/IP firewall implemented in Brazil (1995), the first auditable software library with strong cryptography for Public Key Infrastructure in Brazil (1998), a personalized editorial system with copy identification through digital watermarks (1999), a protocol for monitoring custody of private keys (2003), and the first role-based, PKI-aware middleware prototype for access control to electronic docket systems in Brazil (2006). 

Honors and prizes by former students include Luiz Rios and Karley Rodrigues' e-COBRA award for Brazil's best e-commerce business plan, at the first national contest of this kind (Copymarket's personalized editorial system, 2000), Alexandre Gomes' Brazil SOUJAVA Motorola/Nextel/Sun award (Foton's software for mobile telephone payment services, 2001) and Brazil J2ME/Nokia award (SEA's Mobile Financial Manager, 2003), and Daniel Ramagem's 3rd prize in SSAI's International Semantic Web Challenge (Science System's AnnoTerra, 2003).

[updated in mar 2021 - retired 2019 - oficial web page (portuguese)]