CSBC

Biografia

Moshe Y. Vardi é o George Professor em Engenharia de Computação e director do Ken Kennedy Institute para Tecnologia da Informação na Rice University. Ele possui uma carreira de sucesso a qual inclui 3 IBM Outstanding Innovation Awards, o 2008 Blaise Pascal Medal para Ciência da Computação oferecida pela European Academy of Sciences, o 2008 ACM Presidential Award, o 2008 ACM SIGMOD Codd Innovations Award, foi eleito membro da US National Academy of Engineering, da European Academy of Sciences, da Academia Europea, é o atual editor-in-Chief da consagrada revista Communications of the ACM entre vários outros prêmios e distinções. Seus interesses de pesquisa incluem sistemas de base de dados, teoria da complexidade computacional, sistemas multiagentes, e especificação de design e verificação.

Keynote: From Verification to Synthesis

One of the most significant developments in the area of design verification over the last decade is the development of algorithmic methods for verifying temporal specification of finite-state designs. A frequent criticism against this approach, however, is that verification is done after significant resources have already been invested in the development of the design. Since designs invariably contains errors, verification simply becomes part of the debugging process. The critics argue that the desired goal is to use the specification in the design development process in order to guarantee the development of correct designs. This is called design synthesis. In this talk I will review 50 years of research on the synthesis problem, describe the automata-theoretic approach developed to solve this problem, and address current challenges.