FW: SRC internship program

["Thomas Reps" <reps@xxxxxxxxxxxxx>]

Some links to information about the Compac SRC
summer internship program are given below.

Tom

----------------------------------------------------------------------

-----Original Message-----
From: Shaz Qadeer [mailto:qadeer@xxxxxxxxxx]
Sent: Thursday, December 21, 2000 9:39 AM
To: reps@xxxxxxxxxxx
Cc: src-intern-program@xxxxxxxxxxxxxxxxxxx
Subject: SRC internship program


Hi Tom,

When we last met in Chicago at CAV, I probably mentioned to you that I am
working at Compaq Systems Research Center (SRC).  We have a summer
internship program and we are currently inviting applications for it.  The
announcement for the program is at
http://www.research.compaq.com/SRC/misc/intern01.html.
I would appreciate it if you could make a posting of this in your
department.

In particular, I would like to work with students interested in
formal analysis of hardware and software, and was hoping you would
encourage your own students to apply and to talk to me.  There is
more information about my work at
http://www.research.compaq.com/SRC/staff/qadeer.

Thanks,
Shaz