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
      • Graduate Student Mentor: Rahul Pandita
      • Undergraduate Student Mentor: Charles Woelfel
      • 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)