01-10-2012
Palestra Inaugural subordinada ao tema "Programming the Turing Machine", pela Prof. Barbara Liskov, Massachusetts Institute of Technology
Grande Auditório FCT | 3 out | 14H30
Uma oportunidade de conhecer uma investigadora histórica na área da Informática (Computer Science).
O Ciclo de Palestras do Departamento de informática da FCT/UNL traz ao Departamento alguns dos mais influentes investigadores e profissionais na área da Informática.
Esta série de palestras com distintos oradores tem como objetivo dar aos estudantes e investigadores a oportunidade de conhecer alguns dos trabalhos mais inovadores bem como os autores desses trabalhos, esperando que se tornem uma fonte de inspiração para a futura carreira dos alunos do Departamento.
Este Ciclo de Palestras vai acolher apenas uma pequena quantidade de apresentações em cada ano, por forma a dar destaque aos proeminentes cientistas e engenheiros convidados, líderes nas suas áreas de conhecimento.
A palestra inanugural será proferida em outubro de 2012 pela vencedora do Prémio Turing, Prof. Barbara Liskov do Massachusetts Institute of Technology.
"Programming the Turing Machine"
"Turing provided the basis for modern computer science. However there is a huge gap between a Turing machine and the kinds of applications we use today. This gap is bridged by software, and designing and implementing large programs is a difficult task. The main way we have of keeping the complexity of software under control is to make use of abstraction and modularity.
This talk will discuss how abstraction and modularity are used in the design of large programs, and how these concepts are supported in modern programming languages. It will also discuss what support is needed going forward".
Curta biografia da Professora Barbara Liskov:
"Barbara Liskov is an Institute Professor at MIT and also Associate Provost for Faculty Equity. She is a member of the National Academy of Engineering and the National Academy of Sciences, a fellow of the American Academy of Arts and Sciences, and a fellow of the ACM. She received the ACM Turing Award in 2009, the ACM SIGPLAN Programming Language Achievement Award in 2008, the IEEE Von Neumann medal in 2004, a lifetime achievement award from the Society of Women Engineers in 1996, and in 2003 was named one of the 50 most important women in science by Discover Magazine. Her research interests include distributed systems, replication algorithms to provide fault-tolerance, programming methodology, and programming languages. Her current research projects include Byzantine-fault-tolerant storage systems and online storage systems that provide confidentiality and integrity for the stored information".
