k12ase
Search this site
NCSU Automated Software Engineering Group Mentoring Site for High School Students
Sitemap
Recent site activity
Agenda (tentative)
edited by Tao Xie
NCSU Automated Software Engineering Group Mentoring Site for High School Students
edited by Tao Xie
Agenda (tentative)
attachment from Tao Xie
edited by Tao Xie
Workbook for David Gu
edited by David Gu
NCSU Automated Software Engineering Group Mentoring Site for High School Students
edited by Tao Xie
View All
NCSU Automated Software Engineering Group Mentoring Site for High School Students
Carried out in the context of
ARO
W911NF-08-1-0443
project, NCSU
SOSI
project, NSF
CCF-0725190
project.
In collaboration with
Microsoft Research Pex team
People
Faculty Mentor:
Tao Xie
Graduate Student Mentor:
Rahul Pandita
Undergraduate Student Mentor:
Charles Woelfel
High School Student Mentees (2009 Summer):
Matthew Dai (Acton-Boxborough Regional High School)
David Gu (North Carolina School of Science and Mathematics)
Gautam Sanka (Raleigh Charter High School)
Workspace
Agenda
Workbooks for high school students
Workbook for Matthew Dai
Workbook for David Gu
Workbook for Gautam Sanka
Subpages
(4):
Agenda (tentative)
Workbook for David Gu
Workbook for Gautam Sanka
Workbook for Matthew Dai
Attachments
(
1
)
aro.gif
- on May 13, 2009 5:47 PM by Tao Xie (version 1)
2k
View
Download
_displayNameOrEmail_
- _time_ -
Remove
_text_
