Biografia

Paulo Augusto Silva Veloso nasceu em Porto Alegre, em 18/04 /1944. Foi bebê para o Rio de Janeiro onde passou sua infância e adolescência. Fez os cursos ginasial e científicos (atual segundo grau) no Colégio Militar. Neste colégio os melhores alunos eram classificados conforme a nomenclatura dos postos do exército. Ele foi Coronel aluno no científico. Sua irmã comenta que ele sempre tirava boas notas, mas pouco estudava, bastava prestar atenção às aulas pois seu poder de absorção era muito grande. Fez vestibular tendo passado para o IME e ITA, mas optou pelo curso de Engenharia Elétrica do ITA. Formou-se em 1968 tendo como orientadores de seu trabalho de final de curso 'Viabilidade de estudos literários via computador : estatística e estilo' os professores Luis G. Rios e Jair C. Melo. Este trabalho reflete seu interesse pela Literatura aliado à Computação. Além de ser bom aluno, ele gostava bastante de esportes, tendo praticado esgrima no colégio Militar e participado das Olimpíadas do ITA na modalidade Vôlei. Quando vinha vistar a família sempre jogava vôlei de praia no posto 6 de Copacabana, bairro onde seus pais moravam. Durante seus primeiros anos na COPPE e por bastante tempo na PUC jogava vôlei uma vez por semana com seus colegas na hora do almoço, o que lhe relaxava e fazia muito bem. Em 1970 concluiu o mestrado na Coppe em Engenharia Elétrica com a dissertação ‘’Decomposição algébrica de sistemas causais aditivos multilineares’’, orientado pelo Professor Lawrence Kerschberg. Um comentário do professor Kerschberg (hoje aposentado do Information Science Department, na George Mason University) por ocasião do falecimento de Paulo Veloso é digno de nota: ‘’ Paulo was one of the brightest students I have ever taught. He came to me asking to do his MS thesis with me. Nine months later he returned with an excellent thesis. I was amazed. I met him once more in 1992 when I attended a workshop in Rio, and stopped by PUC. He was in the hallway on the fourth floor of the building, with many students surrounding him. He was the same Paulo I knew in 1970’’. Assim era Paulo Augusto Silva Veloso, ‘low profile’, mas sempre surpreendente com seus feitos. Outro fato interessante é que na época de seu mestrado, 1969-1970, o Programa de Engenharia de Sistemas e Computação da COPPE-UFRJ havia sido recém criado, e os alunos que se destacavam eram logo contratados pelo prof. Coimbra, então diretor da COPPE. O Veloso com outros alunos brilhantes do mestrado eram chamados de ‘os meninos de ouro’. Eis o trecho da nota do Prof. Luiz Fernando Legey, um dos meninos de ouro, contemporâneo do Veloso no mestrado, hoje Prof. Titular aposentado da Coppe, escrita para Sheila, viúva de Paulo Veloso, por ocasião de seu falecimento: (…) ‘’Como você sabe, o Paulo Augusto foi um dos “meninos de ouro” da COPPE e ele, realmente merecia ser considerado “de ouro” pela modéstia, inteligência e seriedade profissional. Nos dias que correm, pessoas com o caráter dele certamente irão fazer uma grande falta’’. Em 1971 foi para a Universidade da Califórnia, Berkeley para fazer seu doutorado em Engenharia Elétrica. A universidade de Berkeley é uma das mais prestigiadas instituições internacionalmente reconhecidas em pesquisa de matemática e incentiva a multidisciplinariadade. No Departamento de Matemática, Paulo Augusto teve a oportunidade de fazer cursos em Álgebra (Teoria de Grupos, Anéis e Corpos, Teoria da Representação e Álgebra Homológica). Mas o que mais o atraiu foi o grupo de pesquisa em Lógica Matemática, desse departamento, com professores pesquisadores renomados na história da pesquisa nesta área, tais como Léon Henkin, Robert Vaught, Alfred Tarski, entre outros. Neste departamento ele aprofundou-se nos estudos de Lógica Matemática, Teoria dos Conjuntos, Teoria das Funções Recursivas, Metamatemática, Teoria dos modelos, Lógica Filosófica e Lógica em Teoria da Ciência da Computação. No curso de doutorado havia a possibilidade de escolher um ‘‘major field’’ e um ‘‘minor field’’ (áreas principal e secundária) de pesquisa. Ele escolheu Lógica Matemática como ‘‘minor field‘’ e resolveu fazer um outro mestrado em 1973-1974, cuja dissertação, ‘’The history of an error in the Theory of Algebra of Relations’’ foi orientada pelo Prof. Léon Henkin. Este mestrado foi fundamental para a sequência de sua pesquisa após o doutorado. Seu interesse em Matemática e Lógica não atrapalhou sua pesquisa para o doutrorado que concluiu em 1975 com a tese ‘’’Networks of finite-state machines”, orientada pelo Prof. Arthur Gill. Ao voltar para o Programa de Sistemas, continuou sua pesquisa na área de Computação. Sua contribuição para a Computação no Brasil foi inestimável, como testemunharam professores da área por ocasião de seu falecimento: ‘’Paulo Veloso foi um dos pioneiros da Computação no Brasil, amplamente reconhecido pelas suas contribuicões ao avanço da ciência’’. Profa. Cláudia Blauzer Medeiros. ‘’Veloso, importante pesquisador que elevou a ciência brasileira nacionalmente como internacionalmente’’. Prof. Philippe Navaux ‘’Paulo Veloso foi um pioneiro da Computação no Brasil. Um ícone para todos, não somente nas áreas onde atuava. Será lembrado com destaque pelas suas contribuições acadêmicas, e pela pessoa gentil que era’’. Prof. Edmundo de Souza e Silva. As novas gerações talvez não consigam medir a importância do Prof. Veloso para a nossa área. Também não conheceram o seu brilhantismo. Mestre, mágico. Cabe a nós dizer que foi imensa a sua contribuição e um privilégio tê-lo em nossas hostes’’. Profa. Cláudia Linhares e Diretoria da SB). Em 1977 foi para o Departamento de Informática da PUC-Rio, (DI), lá permanecendo até 1996. NA PUC teve grande interação com professores do Departamento de Filosofia desta Universidade, assim como colaborou intensamente com professores do Centro de Lógica, Epistemologia e Historia da Ciência da Universidade Estadual de Campinas (CLE/UNICAMP). Parte da nota publicada na página do DI em 14/11/2020 : (…) ‘’Veloso teve atuação de destaque internacional nas áreas de Lógica e Teoria da Computação. Ele contribuiu para a formação de numerosos mestres e doutores, entre os quais o atual diretor do DI, Markus Endler, cuja dissertação de mestrado orientou. O professor passou a atuar na UFRJ, mas Veloso nunca deixou de frequentar a PUC e de ter trabalhos em colaboração com o departamento, como por exemplo a pesquisa “Algoritmos: Engenharia e Fundamentos”, desenvolvida entre 2006 e 2010. Por sua valorosa contribuição, Veloso recebeu homenagens e premiações, como o Prêmio Almte. Álvaro Alberto para Ciência e Tecnologia: Área de Informática, do CNPq, em 1993 (até hoje só três pesquisadores receberam este prêmio, o primeiro foi Prof. Carlos José Pereira de Lucena, o Segundo Prof. Veloso e o terceiro o Prof. Jayme Luiz Szwarcfiter); Prêmio Cientista do Nosso Estado pela FAPERJ, em 2002; foi eleito membro do CLE: Centro de Lógica, Epistemologia e História da Ciência da UNICAMP, em 2003 e em 2014 foi homenageado em seu aniversário de 70 anos, no Encontro Brasleiro de Lógica.’’ Sua produção acadêmica é vasta e relevante, como pode ser verificada em seu currículo Lattes (clique aqui para acessar o Lattes) Em abril de 2021 foi publicado um livro (clique aqui para visualizar o livro na Amazon) em homenagem a Paulo Veloso: ‘’A Question is More Illuminating than an Answer. A festschrift for Paulo A. S. Veloso’’. Edward Hermann Haeusler, Luiz Carlos Pinheiro Dias Pereira e Jorge Petrucio Viana (eds), Tributes 44, pela College Publications. Neste livro se encontram brilhantes contibuições de artigos, escritos por alguns de seus amigos e colaboradores, com temas em várias áreas diretamente relacionadascom com seu o trabalho de alto nível. Com o consentimento dos editores, abaixo está reproduzido um trecho do Prefácio (em ingles) do livro. ‘’Professor Veloso is not just a great researcher and a peerless teacher; professor Veloso is one of the most important characters in the history of logic and computer science in our country. When we refer to history, we do not refer only to the strictly academic facts of that history, such as scientific production and the formation of teachers and researchers; behind this history there is another, deeper, and in no way less interesting and important history: the one that lives in the catalogue of Veloso’s stories–we are certain that those who contributed with texts to this volume or even anyone who has known Paulo Veloso as a teacher, as a co-author, as a travel companion or at informal gatherings can tell a very good story. To say that professor Veloso’s main areas of activity and interest are Logic and the Theory of Computation is to say very little. Indeed, Veloso’s work opens up new horizons in fields as varied as automata and formal languages, abstract data types, the mathematical theory of problems, formal specifications, algebraic logic, diagrammatic reasoning, generalized quantifiers, and the history of logic, among many others. The set of texts that make up this volume serves as an unequivocal testimony to the extent of professor Veloso’s scientific contributions. (…) Almost all authors who contributed texts to this volume (and indeed, many other colleagues) at some point in time and on some of the themes mentioned above were co-authors of some work with professor Veloso. Working with professor Veloso, or rather, having had the chance to see him at work, is something that contributed in a fundamental and indelible way to our formation as researchers. We could certainly make a list of professor Veloso’s qualities–generosity, affectionate irony, unusual intelligence, ability to transform difficult problems into interesting and amusing problems, humbleness to reconsider answers,: : :—, but we will always be left with the impression that the list would be essentially incomplete in the case of this homme d’esprit. Maybe four words would suffice to convey the core of our message to Professor Veloso today: thank you very much!’’ O volume da revista O que nos faz pensar vol. 29 n. 49 (2022) editado pelo departamento de Filosofia da PUC-Rio foi dedicado ao Paulo Veloso. Paulo Veloso gostava imensamente de conhecer novas cidades, muitas das quais, por ocasião da participação em congressos internacionais, e de voltar a visitar as que mais lhe agradavam. Mas, sem dúvida nenhuma, sua preferida era Paris, cujas livrarias do Quartier Latin eram suas velhas conhecidas. Seu programa diário quando lá estava em férias era visitar alguma exposição de arte, proposta por sua companheira de 50 anos, Sheila Regina Murgel Veloso, e depois bater ponto nas livrarias para ver as novidades até a hora do fechamento, sendo um dos últimos a sair. Muito difícil fazer um retrato fiel do Veloso, sem deixar detalhes importantes de sua personalidade ímpar, sua generosidade, gentileza genuína, seu humor, sua perspicácia e inteligência. O que se pode dizer no entanto, sem medo de errar, é que as pessoas que tiveram a oportunidade de conviver seja profissionalmente, socialmente e certamente como sua companheira de vida e filhas, podem se sentir privilegiadas e, sem dúvida nenhuma, terem aprendido algo de relevante com Paulo Augusto Silva Veloso. Este Memorial pretende ser uma obra em constante construção, assim caso alguma lembrança ocorra àqueles que o visitarem, esta pode ser acrescentada ao site. O contato pode ser feito pelo endereço eletrônico: [email protected]