Faculty

Institution

Unit

Venue

Seth Poulsen

Assistant Professor

Utah State University

Affiliations

College of Science

Department of Computer Science

Seth Poulsen is currently serving as a College Of Science Assistant Professor at Utah State University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Seth Poulsen

Utah State University

Assistant Professor

You can click a keyword to filter the displayed items

computer science computing education education educational technology learning analytics educational assessment educational strategies automated proof mathematics data science educational research proof assistants learning sciences mathematics education automated deduction proof theory proof blocks programming languages proof system proof complexity computational thinking verification undergraduate research higher education educational psychology mathematical proof student learning large language models algorithm design automated assessment formal verification theory of computation databases distance education stem education software engineering education cyber security engineering cybersecurity education information security education program comprehension programming language teaching learning theory learning gains dependency graph psychological assessment technology law reading research information management information technology graph query language graph databases learning-by-doing computational literacy educational informatics electronic assessment learning problems cybersecurity systems online education collaborative learning computer-supported collaborative learning online learning extremal set theory abstract interpretation computer science educators replication study code reading rapid feedback query language quantitative analysis graph database problems scaffolded proof-writing experience computing curricula advanced mongodb operators mongodb homework problems mongodb operators cybersecurity concept inventory computer science education

Notable Scholarly Works

Notable Federal Grants

Collaborators

Autograding Mathematical Induction Proofs With Natural Language Processing. International Journal of Artificial Intelligence in Education (2025)

Chenyan ZhaoMariana SilvaSeth Poulsen

mathematical logicautomated prooflogic in computer scienceproof assistantsformal methodsnatural language processingformal mathematical reasoningautomated deductionmathematical induction proofscomputer sciencemathematicsautomated reasoningnatural language generation

Construction and Preliminary Validation of a Dynamic Programming Concept Inventory. arXiv (Cornell University) (2025)

Matthew FerlandVarun Nagaraj RaoArushi AroraDrew van der PoelMichael LuuRandy HuynhFrederick ReiberSandra OssmanSeth PoulsenMichael Shindler

systems engineeringdesignsoftware designprogramming methodologyprogram comprehensioncomputing educationquantitative managementconcept formationpreliminary validationformal concept analysisoperation management

Language Models Are Few-Shot Graders. arXiv (Cornell University) (2025)

Zhao, ChenyanSilva, MarianaPoulsen, Seth

asag pipelinemachine learningautomated assessmentfew-shot graderssemantic evaluationlanguage modelsnatural language processingretrieval augmented generationllm fine-tuninglanguagelanguage assessmentcomputer scienceeducational assessmentlarge language modelsnatural language generation

Measuring the Impact of Distractors on Student Learning Gains While Using Proof Blocks. arXiv (Cornell University) (2025)

Seth PoulsenHongxuan ChenYael GertnerBenjamin CosmanMatthew WestGeoffrey L. Herman

learning theoryapplied cognitive psychologystudent learning gainslearning analyticseducationactive learningeducational psychologyeducational strategiesstudent learningeducational technologycognitive scienceeducational researcheducational assessmentcognitionproof blocks

Mining Hierarchies With Conviction: Constructing the Cs1 Skill Hierarchy With Pairwise Comparisons Over Skill Distributions. arXiv (Cornell University) (2025)

Dip Kiran Pradhan NewarMax FowlerDavid H. SmithSeth Poulsen

informaticshierarchical classificationcs1 skill hierarchyanalyticsdata mininglearning analyticscandidate selectioneducational data mininginformation retrievalcomputational social sciencestatisticssocial rankingknowledge discoverydata scienceskill distributionspairwise comparisonsknowledge-based systems

Teaching Algorithm Design: A Literature Review. ACM Transactions on Computing Education (2025)

Jonathan LiuSeth PoulsenErica GoodwinHongxuan ChenGrace WilliamsYael GertnerDiana Franklin

software engineering educationalgorithm designsoftware designcomputational thinkingcs education workeducationeducational strategiesliterature reviewcomputing educationeducational technologycomputer sciencemathematics education

An Analytic Comparison of Student-Scheduled and Instructor-Scheduled Collaborative Learning in Online Contexts. (2024)

Mariana SilvaGeoffrey HermanYucheng JiangSeth PoulsenMatthew WestYueqi Jiang

online learninglearning sciencesonline educationstructured roleslearning analyticseducationanalytic comparisondistance educationdata sciencecomputer-supported collaborative learningeducational technologyonline contextscollaborative learning

A Survey of Undergraduate Theory of Computing Curricula. (2024)

Ryan E. DoughertyTim RandolphTzu-Yi ChenJeff EricksonMatthew FerlandDennis KommJonathan LiuTimothy NgSeth PoulsenSmaranda SanduMichael ShindlerEdward TalmageThomas Zeume

undergraduate researchtheory of computationhigher educationcomputational thinkingcomputing educationeducational technologystem educationcomputing curriculacomputer sciencecomputational literacy

Autograding Mathematical Induction Proofs With Natural Language Processing. arXiv (Cornell University) (2024)

Zhao, ChenyanSilva, MarianaPoulsen, Seth

automated proofai autogradersnatural language generationproof assistantslanguage modelsnatural language processingautomated deductiondata sciencemathematical induction proofsmachine learningmathematicslarge language modelscomputer science

Dataset for"Teaching Algorithm Design: A Literature Review". Harvard Dataverse (2024)

Jonathan LiuSeth PoulsenHongxuan ChenGrace WilliamsYael GertnerDiana Franklin

algorithm engineeringdesignlearning analyticsliterature reviewacm digital librarycomputational intelligencecomputing educationeducational technologyteaching algorithm designcomputer sciencealgorithm design

1
2
3
4
10 / page

Seth Poulsen

Assistant Professor

Utah State University

Affiliations

College of Science

Department of Computer Science

Seth Poulsen is currently serving as a College Of Science Assistant Professor at Utah State University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Seth Poulsen

Utah State University

Assistant Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Autograding Mathematical Induction Proofs With Natural Language Processing. International Journal of Artificial Intelligence in Education (2025)

Chenyan ZhaoMariana SilvaSeth Poulsen

Construction and Preliminary Validation of a Dynamic Programming Concept Inventory. arXiv (Cornell University) (2025)

Matthew FerlandVarun Nagaraj RaoArushi AroraDrew van der PoelMichael LuuRandy HuynhFrederick ReiberSandra OssmanSeth PoulsenMichael Shindler

Language Models Are Few-Shot Graders. arXiv (Cornell University) (2025)

Zhao, ChenyanSilva, MarianaPoulsen, Seth

Measuring the Impact of Distractors on Student Learning Gains While Using Proof Blocks. arXiv (Cornell University) (2025)

Seth PoulsenHongxuan ChenYael GertnerBenjamin CosmanMatthew WestGeoffrey L. Herman

Mining Hierarchies With Conviction: Constructing the Cs1 Skill Hierarchy With Pairwise Comparisons Over Skill Distributions. arXiv (Cornell University) (2025)

Dip Kiran Pradhan NewarMax FowlerDavid H. SmithSeth Poulsen

Teaching Algorithm Design: A Literature Review. ACM Transactions on Computing Education (2025)

Jonathan LiuSeth PoulsenErica GoodwinHongxuan ChenGrace WilliamsYael GertnerDiana Franklin

An Analytic Comparison of Student-Scheduled and Instructor-Scheduled Collaborative Learning in Online Contexts. (2024)

Mariana SilvaGeoffrey HermanYucheng JiangSeth PoulsenMatthew WestYueqi Jiang

A Survey of Undergraduate Theory of Computing Curricula. (2024)

Ryan E. DoughertyTim RandolphTzu-Yi ChenJeff EricksonMatthew FerlandDennis KommJonathan LiuTimothy NgSeth PoulsenSmaranda SanduMichael ShindlerEdward TalmageThomas Zeume

undergraduate researchtheory of computationhigher educationcomputational thinkingcomputing educationeducational technologystem educationcomputing curriculacomputer sciencecomputational literacy

Autograding Mathematical Induction Proofs With Natural Language Processing. arXiv (Cornell University) (2024)

Zhao, ChenyanSilva, MarianaPoulsen, Seth

Dataset for"Teaching Algorithm Design: A Literature Review". Harvard Dataverse (2024)

Jonathan LiuSeth PoulsenHongxuan ChenGrace WilliamsYael GertnerDiana Franklin

1
2
3
4
10 / page

Similar Faculty Members

John Martin Edwards

Institution

Utah State University

visualization

scientific visualization

Jennifer Parham-Mocello

Institution

Oregon State University

computational literacy

computational thinking

Christina Gardner-McCune

Institution

University of Florida

educational technology

education

Vicki H Allan

Institution

Utah State University

multiagent systems

agent-based system

Elise Lockwood

Institution

Oregon State University

computational thinking

python programming

Erin C. Henrick

Institution

Vanderbilt University

research practice partnerships

education research

Yael Gertner

Institution

University of Illinois Urbana-Champaign

computer-based education

technology

Hillary L Swanson

Institution

Utah State University

student learning

science education

Anthony Botelho

Institution

University of Florida

educational technology

education

Veronica Catete

Institution

North Carolina State University

educational technology

education

Similar Faculty Members

John Martin Edwards

Institution

Utah State University

visualization

scientific visualization

Jennifer Parham-Mocello

Institution

Oregon State University

computational literacy

computational thinking

Christina Gardner-McCune

Institution

University of Florida

educational technology

education

Vicki H Allan

Institution

Utah State University

multiagent systems

agent-based system

Elise Lockwood

Institution

Oregon State University

computational thinking

python programming

Erin C. Henrick

Institution

Vanderbilt University

research practice partnerships

education research

Yael Gertner

Institution

University of Illinois Urbana-Champaign

computer-based education

technology

Hillary L Swanson

Institution

Utah State University

student learning

science education

Anthony Botelho

Institution

University of Florida

educational technology

education

Veronica Catete

Institution

North Carolina State University

educational technology

education