[PRL] Fwd: John Mitchell visit -- RSVP (to laa)

[Mitchell Wand]

---------- Forwarded message ----------
From: Shriram Krishnamurthi <sk at cs.brown.edu>
Date: Tue, Nov 3, 2009 at 9:36 AM
Subject: John Mitchell visit -- RSVP (to laa)
To: "Faculty, CS" <fac at cs.brown.edu>
Cc: Lori Agresti <laa at cs.brown.edu>


[Please reply to Lori, NOT ME.  Please DON'T group-reply.  Thanks!]

John Mitchell, professor of computer science at Stanford, will be
visiting Brown to deliver this year's Kanellakis Lecture.  His
research interests are

 Computer security: access control, network protocols, privacy,
 software systems, and web security. Programming languages, type
 systems, object systems, and formal methods. Applications of
 mathematical logic to computer science.

You can learn more from his Web page:

 http://theory.stanford.edu/people/jcm/

-----

John will be here all day on Thursday, December 3, giving the Lecture
at 4pm that day.

If you are interested in meeting with him, please send mail to Lori
Agresti (laa at cs.brown.edu) telling her your availability.

[Please reply to Lori, NOT ME.  Please DON'T group-reply.  Thanks!]

Please reply by 4pm on Mon, Nov 7, so Lori can summarize all your
interests and constraints to me.

Shriram
-------------- next part --------------
HTML attachment scrubbed and removed