Edmund M. Clarke
Dr. Clarke is the FORE Systems Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University. He has served on the editorial boards of numerous journals and is the former editor-in-chief of Formal Methods in Systems Design. He is a co-founder with Robert Kurshan, Amir Pnueli, and Joseph Sifakis of the International Conference on Computer Aided Verification (CAV) and serves on the steering committee. He received a Technical Excellence Award from the Semiconductor Research Corporation in 1995, and the IEEE Harry M. Goode Memorial Award in 2004. He is a Fellow of ACM and the IEEE Computer Society, and was elected to the National Academy of Engineering in 2005. Dr. Clarke was awarded a B.A. degree in mathematics from the University of Virginia and a M.A. degree in mathematics from Duke University. He earned a Ph.D. degree in computer science from Cornell University, and has taught at Duke University and Harvard University.
E. Allen Emerson
Dr. Emerson is an Endowed Professor in Computer Sciences at the University of Texas at Austin. He was a co-recipient of the 2006 Test- of-Time Award from the IEEE Symposium on Logic in Computer Science (LICS) for his research on efficient Model Checking in the propositional mu-calculus, a highly expressive temporal logic, with Chin-Laung Lei. He has served on the editorial boards of several leading journals in applied logic and formal methods, including ACM Transactions on Computational Logic, Formal Aspects of Computing, and Formal Methods in Systems Design. He serves on the steering committee of the International Symposium on Automated Technology for Verification and Analysis (ATVA) as well as the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Dr. Emerson received a B.S. degree in mathematics from University of Texas at Austin, and a Ph.D. in applied mathematics from Harvard University.
Joseph Sifakis
Dr. Sifakis is the founder of Verimag Laboratory, a leading research center for embedded systems in Grenoble, France, where he was director from 1993-2006. He is Research Director of Centre National de la Recherche Scientifique, and Director of the CARNOT Institute on Intelligent Software and Systems in Grenoble. Dr. Sifakis is a member of the editorial board of several journals, and the scientific coordinator of the Artist2 and ArtistDesign European Networks of Excellence on Embedded Systems Design. He is co-founder with Edmund Clarke, Robert Kurshan, and Amir Pnueli of the International Conference on Computer Aided Verification (CAV). He earned a degree in electrical engineering from the Technical University of Athens and a Ph.D. in computer science from the University of Grenoble.
Pionera en el campo de la optimización de compiladores. Algunos de sus logros consisten en trabajos originales sobre compiladores, optimización de código y paralelización. A principios de los 80, formó el grupo Parallel TRANslation (PTRAN) para estudiar temas relacionados con la compilación para máquinas paralelas. PTRAN fue considerado uno de los grupos de investigación punteros en el mundo, de entre los que trabajaban en paralelismo. Su trabajo en estos proyectos culminó con la introducción de algoritmos y tecnologías que forman la base teórica de la optimización automática de programas, ampliamente usados en muchos compiladores comerciales desarrollados por la industria.
La influencia de Allen en la comunidad de IBM fue reconocida con su nombramiento como IBM Fellow, siendo ella la primera mujer en recibir este honor. También fue la presidenta de la Academia IBM de Tecnología. La Academia juega un importante papel en la corporación, proporcionando liderazgo tecnológico, avanzando nuestra comprensión de importantes áreas técnicas, y fortaleciendo la comunicación entre profesionales. En 1997, Allen fue admitida en el Salón de la Fama WITI. Se retiró de IBM en 2002.
A principios de 2007, se convirtió en la primera mujer en recibir el Premio Turing de la ACM. Los motivos son sus "contribuciones que mejoraron fundamentalmente el rendimiento de los programas de computador y aceleraron el uso de sistemas de computación de alto rendimiento."
Peter Naur nació en Dinamarca, donde se doctoró en Astronomía, hasta que en 1959 comenzó a preocuparse por la incipiente Informática de aquellos días, trabajando en el
Instituto Danés de Computación y más tarde en la
Universidad de Copenhague.
Más adelante, su colaboración con John Backus (premio en 1977), y A.J. Perlis (primer premio Turing), dio lugar a la creación de uno de los primeros lenguajes de programación, el ALGOL 60. Igualmente, en colaboración con Backus, crearía la forma BNF, mecanismo de descripción formal de los lenguajes de programación, aunque -muy modesto- el prefiere llamarlo actualmente la "Forma Normal Backus", eximiendo su nombre.