Search

Author:

Tiu, Alwen Fernanto

Title:

A Logical Framework for Reasoning about Logical Specifications

Graduate Program:

Computer Science and Engineering

Keywords:

proof theory
operational semantics
co-induction
induction
logical framework
cut-elimination

File:

Download etd.pdf

Committee Members:

John Joseph Hannan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Padma Raghavan, Committee Member
Stephen George Simpson, Committee Member
Frank Pfenning, Committee Member

Author:

Hankin, Deborah Sue

Title:

INDIVIDUAL NOVICE TEACHER NEEDS AND PROFESSIONAL DEVELOPMENT: AN EVALUATION OF A WELL-RESPECTED INDUCTION PROGRAM

Graduate Program:

Curriculum and Instruction

Keywords:

new teacher induction
new teacher support
novice teacher professional development
mentoring
induction
novice teacher needs

File:

Download DHankin_DissertationETD_12-06PDF.pdf

Committee Members:

James F Nolan Jr., Committee Chair/Co-Chair
Debra Freedman, Committee Member
Nona Ann Prestine, Committee Member
Edgar Paul Yoder, Committee Member

Author:

Weimer, Kristina Richelle

Title:

"We’re Just Kind of Walking Side by Side”: Music Teacher Mentor/Mentee Relationships in Connecticut’s Teacher Education and Mentoring Program (TEAM)

Graduate Program:

Music Education

Keywords:

mentoring
novice teachers
induction
mentoring relationships
mentors
mentees
novice music teachers
mentoring program

File:

Download KRWeimer.PSU.Dissertation.Final.pdf

Committee Members:

Linda Thornton, Dissertation Advisor/Co-Advisor
Linda Thornton, Committee Chair/Co-Chair
Darrin Thornton, Committee Member
Joanne Rutkowski, Committee Member
E. Frances Arbaugh, Outside Member