pastguests:start [Summer Research Institute]


Prof. J Strother Moore, University of Texas at Austin J Strother Moore holds the Admiral B.R. Inman Centennial Chair in Computing Theory at the University of Texas at Austin. He is the author of many books and papers on automated theorem proving and mechanical verification of computing systems. Along with Boyer he is a co-author of the Boyer-Moore theorem prover and the Boyer-Moore fast string searching algorithm. With Matt Kaufmann he is the co-author of the ACL2 theorem prover. Moore got his SB from MIT in 1970 and his PhD from the University of Edinburgh in 1973. Moore was a founder of Computational Logic, Inc., and served as its Chief Scientist for ten years. He served as chair of the UT Austin CS department from 2001-09 and led the \$120M drive to build the Bill \& Melinda Gates Center for Computer Science and Dell Computer Science Hall, upon which ground was broken in October, 2010. He and Bob Boyer were awarded the McCarthy Prize in 1983 and the Current Prize in Automatic Theorem Proving by the American Mathematical Society in 1991. In 1999, they were awarded the Herbrand Award for their work in automatic theorem proving. Boyer, Moore, and Kaufmann were awarded the 2005 ACM Software Systems Award for the Boyer-Moore theorem prover. Moore is a Fellow of both the American Association for Artificial Intelligence and the ACM and is a member of the National Academy of Engineering.	Prof. Tony Hoare, Microsoft Research	Prof. Sharad Malik, Princeton University	Dr. Aarti Gupta, Nec Labs	Prof. Fernando Perez-Cruz, University Carlos III


Prof. Juan José Murillo-Fuentes, Universidad de Sevilla	Prof. Vitaly Shmatikov, University of Texas	Prof. Shishir Nagaraja, Indraprastha Institute of Information Technology, Delhi	Dr Debasis Mitra, Bell Labs Lucent Technologies	Prof. Thierry Blu, The Chinese University of Hong Kong


Prof. Vivek Goyal, MIT	Prof. Petros Elia, EURECOM	Prof. David Hales, The Open University, UK	Prof. Andreas Krause, Swiss Federal Institute of Technology, Zurich	Dr Cecilia Mascolo, University of Cambridge, UK


Prof. Reynold Cheng, University of Hong Kong	Prof. Archan Misra, Singapore Management University	Prof. Adam Wierzbicki, Polish-Japanese Institute of Information Technology	Prof. Rupak Majumdar, Max Planck Institute for Software Systems	Prof. Predrag Janicic, University of Belgrade


Prof. Ezio Biglieri, Universitat Pompeu Fabra, Barcelona	Prof. Avigdor Gal, Technion, Israel Institute of Technology	Prof. Radu Iosif, Vérimag, CNRS and University of Grenoble	Dr. Barbara Jobstmann, Vérimag, CNRS and University of Grenoble	Prof. Darko Marinov, University of Illinois at Urbana-Champaign


Prof. David Monniaux, Vérimag, CNRS and University of Grenoble	Prof. Anders Christian Hansen, University of Cambridge	Prof. Sundeep Rangan, Polytechnic Institute of New Yok University	Prof. Muriel Médard, MIT	Dr. Pedro Petris-Lopez, Delft University


Prof. Milan Vojnovic, Microsoft Research Lab	Prof. Frank Fitzek, University of Aalborg, Denmark	Prof. Raymond Yeung, The Chinese University of Hong Kong	Prof. Joseph Y. Halpern, Cornell University	Prof. Jens Grossklags, Pennsylvania State University