NCSU Automated Software Engineering Group Mentoring Site for High School Students

Supported in part through the ARO High School Apprenticeship Program (HSAP)     
Carried out in the context of ARO W911NF-08-1-0443 project, NCSU SOSI project, NSF CCF-0725190, NSF CCF-0845272 project.
In collaboration with Microsoft Research Pex team

  • Faculty Mentor: Tao Xie
  • 2012 Summer
  • 2011 Summer
    • High School Student Mentees:
      • Christie Jiang
      • Tim Qi
  • 2009 Summer
    • High School Student Mentees:
      • Matthew Dai (Acton-Boxborough Regional High School)
      • David Gu (North Carolina School of Science and Mathematics)
      • Gautam Sanka (Raleigh Charter High School)