.png)
.png)
Accessibility Tools
Os Seminários PESC têm como objetivo trazer palestras acessíveis a um público mais amplo, ministradas por pesquisadores e professores mais experientes (tanto do PESC como de instituições externas). Ao longo do ano, teremos temas e focos variados, podendo ser mais específicos ou mais abrangentes.
A apresentação e discussão de ideias novas e antigas de diferentes temas contribui de maneira fundamental para a formação e pesquisa desenvolvida por alunos e professores, sendo muitas vezes de interesse de um público mais amplo.
Os Seminários que são on-line ou híbridos ficam gravados no Canal do PESC no YouTube, que apresenta muitas outras gravações importantes sobre o que acontece no PESC.
Aho & Ullman: An Eternal Golden Braid
Christiano Braga, Professor Associado, Universidade Federal Fluminense (UFF)
23 de junho (quarta), 18h
Transmissão ao vivo no canal do PESC no YouTube
Douglas Hofstadter published a very nice book in 1979 named "Godel, Escher, Bach: An Eternal Golden Braid" where the author identified mathematical elements in the work of Godel, Escher, and Bach. In particular, self-reference.
The braid resulting from the combined work of Alfred Vaino Aho and Jeffrey David Ullman work is also golden. Together, and with no less important contributions from their supervisors, colleagues and former students, they paved the foundations of programming languages theory and practice, among other contributions. They have made mathematically precise fundamental elements of automata theory and languages together with algorithms in a rigorous method for compiler construction.
Aho & Ullman was and still is indeed a golden braid. The fact that they are the recipients of 2020 ACM Turing Award made it also eternal.
This talk is a tribute to their work. But also an acknowledgment for what they have done for Computer Science, and perhaps more importantly, for Computer Scientists, myself included, throughout the world.
Christiano Braga is currently Associate Professor of Computer Science at Instituto de Computação (Computing Institute) of Universidade Federal Fluminense (UFF), leads the Theoretical Computer Science Research Group at the Computing Institute of UFF and is a member of FADoSS research group at Universidad Complutense de Madrid. He is also a collaborator of TecMF at PUC-Rio and TCS Co-Innovation Network partner.
He obtained his PhD. from Pontifícia Universidade Católica do Rio de Janeiro in 2001. During his PhD., he has been a visiting scholar at the Computer Science Laboratory of SRI International. He was a postdoc researcher at the Computer Science Department of the University of Illinois at Urbana-Champaign, Computer Science Department of Swansea University, Facultad de Informática de la Universidad Complutense de Madrid and Informatics Department of Pontifícia Universidade Católica do Rio de Janeiro.
His main research interests are formal methods and semantics of programming languages. A large part of his research has Rewriting Logic as its underlying logical and semantic framework with the Maude system. The Maude MSOS Tool (MMT), developed together with Fabricio Chalub, is a good example, and so are BMaude and the Pi Framework.
