Dan Welch

Human-Centered Computing and Social Informatics

Assistant Teaching Professor

E392 Westgate Building
288 Burrowes Road
University Park, PA 16802

Email dtw5246@psu.edu
Phone 814-865-1870

Areas of Expertise

Learning Environments for Theorem Proving
Computational Thinking
Software Verification
Programming Languages

Education

Ph.D., Computer Science, Clemson University, 2019
B.A., Computer Science, Denison University, 2013

Dr. Daniel Welch earned a PhD in Computer Science from Clemson University. His work sits at the intersection of teaching, mathematics, and program verification, with an emphasis on helping learners reason about programs and adopt rigorous software development practices. He has published conference work on program verification and tools that support human reasoning about code, especially in educational settings and in contexts where formal verification is difficult.

Dr. Welch has over five years of experience teaching a mix of undergraduate programming and mathematics courses in Penn State’s College of IST in both in-person and online formats. He also contributes to curricular development efforts within the College of IST.

Legal Statements