[PORTUGUESE]

Advanced to Candidacy for PhD in Applied Mathematics from University of California at Berkeley (1983), Bacharel and Master of Science in Mathematics from University of 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, and personal interests include the study of linguistics, semiology, history and philosophy of science. The proposed (and rejected) PhD thesis at Berkeley proposes an algebraic model for the specification of distributive machine languages. Later research investigates the social costs of software business models.

Held 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 National Hispanic University in Oakland, CA (1987), and at UnB's Mathematics Department (1977 to 79).  At UnB's CSD has also managed the Informatics Lab and coordinated the undergraduate division (1995 to 97).

Participations in the Technical Group on Security Standards for 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 the 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 for scientific endowment agencies (on funding research projects in computer science, and for accreditation of undergraduate computer courses in Brazil). Assistant to the President of Brazil's National Institute of Information Technology for international matters concerning Immaterial ("intelectual") Property and Free / Open Source Software (2005). Head of UnB's Extension Program on Cryptography and Computer Security, first to offer in Brazil a course on programming for Pubic Key Infrastructures (2003).

Has written and published hundreds of articles and essays about the digital revolution, cryptography, computer security, the evolution of malware, computational paradigms, epistemology of science, and about 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 potential relations to Law, to the legislative process and to citizenship values. Co-author of the book "Burla Eletronica", pertaining to vulnerabilities in Brazil's electronic voting system, of chapters in some academic texbooks and surveys, in english and in portuguese, and for the weekly column "Segurança, Bits & Cia." in Rio de Janeiro's Jornal do Commercio, Brazil's second oldest circulating newspaper (2002 to 2003).

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

Honors and prizes received by students include Luiz Rios & Karley Rodrigues' e-COBRA prize, for Brazil's best e-commerce business plan, won at the first national contest of the kind (Copymarket's personalized editorial system, 2000), Alexandre Gomes' SOUJAVA Motorola/Nextel/Sun Brazil award (Foton's software for mobile telephone payment services, 2001) and J2ME/Nokia Brazil 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).