[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