[PRL] Fwd: Today's distinguished lecture talk

Matthias Felleisen matthias at ccs.neu.edu
Thu Feb 9 09:30:25 EST 2006



Begin forwarded message:

> From: "Larry Finkelstein" <laf at ccs.neu.edu>
> Date: February 9, 2006 8:59:45 AM EST
> To: "Faculty" <faculty at ccs.neu.edu>
> Subject: Today's distinguished lecture talk
> Reply-To: laf at ccs.neu.edu
>
> Folks,
>
> Please encourage your students to attend the talk today. The 
> Distinguished
> Lecture Series is an important College event.
>
> Thanks,
>
> --Larry
>
> -----Original Message-----
> From: colloq-bounces at lists.ccs.neu.edu
> [mailto:colloq-bounces at lists.ccs.neu.edu] On Behalf Of Rachel Kalweit
> Sent: Thursday, February 09, 2006 8:52 AM
> To: colloq at lists.ccs.neu.edu
> Subject: [Colloq] REMINDER: Distinguished Speaker Series - Robert 
> Constable,
> TODAY, 3pm
>
> College of Computer and Information Science Colloquium Distinguished 
> Speaker
> Series Thursday, February 9, 2006 3:00 pm Raytheon Amphitheater, Egan
> Research Center
>
> Speaker:
> Robert L. Constable
> Cornell University
>
> Title:
> "Transforming the Academy: Knowledge Formation
>   in the Age of Digital Information"
>
> Bio:
> ROBERT CONSTABLE is a graduate of Princeton University where he worked 
> with
> Alonzo Church, one of the pioneers of computer science. He did his PhD 
> at
> Wisconsin with Stephen Cole Kleene, a PhD student of Church and another
> pioneer of computer science.
> Professor Constable joined the Cornell faculty in 1968. He has 
> supervised
> over forty PhD students in computer science. He is known for his work
> connecting programs and mathematical proofs which has led to new ways 
> of
> automating the production of reliable software. This work is known by 
> the
> slogan "proofs as programs," and it is embodied in the Nuprl ("new 
> pearl")
> theorem prover. He has written three books on this topic as well as 
> numerous
> research articles. Since 1980 he has headed a project that uses Nuprl 
> to
> design and verify software systems, instances of which are still 
> operational
> in industry and science. Currently he is working on extending this
> programming method to concurrent processes, realizing the notion of 
> "proofs
> as processes."
> In 1999 he became the first dean of the Faculty of Computing and 
> Information
> Science, a unit which includes the Computer Science Department, as 
> well as
> Information Science, Statistics, Computational Biology, Graphics, and
> Computational Science. Dean Constable was the department chair of 
> Computer
> Science from 1993 to 1999.
>
>
>
>
> _______________________________________________
> Colloq mailing list
> Colloq at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/colloq
>
>
>
> _______________________________________________
> Colloq mailing list
> Colloq at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/colloq
>
>
>




More information about the PRL mailing list