Workspaces
----
337staff
agv
apon
automotive
bhc
bipeds
bughandlers
car
certafcs
chess
chessadmin
chessblog
chesslocal
chessworkshop
clotho
cps
cpsworkshop
croquet
curriculum
dgc3
dgc3course
dgc3exec
directors
drosonetsim
eecs124
eecs149
escher
gm
hcddes
hcssas
hilv
hsbc
hyper
iab
ieee1588
instructors
itr
mast
metropolis
mpc
muri
murimeeting
naomi
nes
nsferc
outreach
parlab
presenters
pret
ptalon
ptconf
ptemaf
ptesdf
ptexternal
pthomas
ptides
ptidesarch
ptolemy
ptpresenters
reap
researchers
scas
scos
shs
softdevel
softwalls
studygroup
superb
transfer
triq
ucbfaculty
vw
Note:
JavaScript is disabled
, see the
Site Map
for navigation links
 
NSF Information Technology Research Project
Overview
Group information
Group name
itr
Title
NSF Information Technology Research Project
Summary
Faculty on the NSF Information Technology Research Project
Description
This group consists of the lead investigators(faculty) working on the NSF ITR project, Foundations of Hybrid and Embedded Software Systems.
For public details, see the
Foundations of Hybrid and Embedded Software Systems ITR page
.
Group type
Software project
Special interest group
Administrative group
People involved in this group
Administrators
Christopher Brooks
Edward A. Lee
eal
Members
Alex Aiken
aiken
Ruzena Bajcsy
bajcsy
Bela Bollobas
Christopher Brooks
Tom Henzinger
tah
Gabor Karsai
gabor
Kurt Keutzer
keutzer
keutzer@eecs.berkeley.edu
Edward A. Lee
eal
David G. Messerschmitt
messer
George Necula
necula
Alberto Sangiovanni-Vincentelli
alberto
S. Shankar Sastry
sastry
Janos Sztipanovits
sztipaj
Pravin Varaiya
varaiya
Group configuration
Configuration options
Is enabled
Has members
Has administrator
Fancy HTML
Fix HTML
Is searchable
Is advertised
Workspace options
Home page
Discussion forum
Private forum
FAQ
Member mail list
Member notification list
Developer mail list
CVS mail list
Public interest list
Public announce list
CVS module
Bugs
Calendar
src directory
Newsgroup
Notify Developers
Wiki
Application Form
Show Publications
HTML authoring
None
CVS checkin
Remote URL
You are not logged in
©2002-2009 Chess