[Colloq] Reminder: Distinguished Speaker Series, Today, Oct. 31 - J. Strother Moore

Rachel Kalweit rachelb at ccs.neu.edu
Wed Oct 31 09:29:41 EDT 2007




Distinguished Speaker Series



*J. Strother Moore 

10/31/2007 12:00 -- 1:00 p.m., WVH 108 *

*
J Strother Moore* holds the Admiral B.R. Inman Centennial Chair in 
Computing Theory at the University of Texas at Austin. He is also chair 
of the department. 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 
S.B. in mathematics from MIT in 1970 and his Ph.D. in computational 
logic from the University of Edinburgh in 1973. Moore was a co-founder 
of Computational Logic, Inc., and served as its chief scientist for ten 
years. He and Bob Boyer were awarded the 1991 Current Prize in Automatic 
Theorem Proving by the American Mathematical Society. In 1999 they were 
awarded the Herbrand Award for their work in automatic theorem proving. 
Moore is a Fellow of the American Association for Artificial 
Intelligence, an ACM Fellow, and a member of the National Academy of 
Engineering (NAE). Boyer, Moore, and Kaufmann won the 2005 ACM Software 
System Award ``For pioneering and engineering a most effective theorem 
prover (named the Boyer-Moore Theorem Prover) as a formal methods tool 
for verifying safety-critical hardware and software.''

*
*

*Other speakers that are featured over the rest of the academic year 
2007-08 include:*

*Helen Greiner*, CEO and founder iRobot, Inc

*Ed Felton,* Professor of Computer Science and Public Affairs, Princeton 
University

*Elizabeth Mynatt*, Director GVU Center, Associate Professor, Georgia Tech.

*Mike Stonebraker*, founder of _Ingres_ 
<http://en.wikipedia.org/wiki/Ingres> , former _CTO_ 
<http://en.wikipedia.org/wiki/Chief_Technical_Officer> of _Informix_ 
<http://en.wikipedia.org/wiki/Informix> and Professor, MIT

*David McKay*, Professor of Natural philosophy, University of Cambridge

Watch our website for more information: 
http://www.ccs.neu.edu/events/distinguishedspeaker.html



More information about the Colloq mailing list