Faculty

Institution

Unit

Venue

Kyeong-Hah Roh

Professor Professor of Mathematics Education

Arizona State University Digital Immersion

Affiliations

The College of Liberal Arts and Sciences

Natural Science

School of Mathematical and Statistical Sciences

Kyeong-hah Roh is currently serving as a Natural Science Professor Professor of Mathematics Education at Arizona State University Digital Immersion.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Kyeong-Hah Roh

Arizona State University Digital Immersion

Professor Professor of Mathematics Education

You can click a keyword to filter the displayed items

mathematics mathematical logic formal methods mathematics education logical reasoning proof theory linguistics education machine learning artificial intelligence computing education formal verification educational research logic in computer science generative ai mathematical proof formal mathematical reasoning educational theory quantified variables complex mathematical statements student quantifications generative artificial intelligence mathematical statements set-based reasoning intuitive understanding stem education visual reasoning undergraduate research mathematics teacher education

Notable Scholarly Works

Notable Federal Grants

Collaborators

Students’ Use of Generative Artificial Intelligence for Proving Mathematical Statements. ZDM (2024)

Hyunkyoung YoonJihye HwangKyungwon LeeKyeong Hah RohOh Nam Kwon

generative artificial intelligenceartificial intelligencegenerative aimathematical statementsmachine learningmathematicsmathematics education

Unitizing Predicates and Reasoning About the Logic of Proofs. Journal for Research in Mathematics Education (2024)

Paul Christian DawkinsKyeong Hah Roh

mathematical proofeducationeducational researchlogical reasoningformal methodsformal mathematical reasoningproof theoryformal verificationmathematical logiceducational theorymathematicsmathematics education

Theo’s Reinvention of the Logic of Conditional Statements’ Proofs Rooted in Set-Based Reasoning. The Journal of Mathematical Behavior (2023)

Paul Christian DawkinsKyeong Hah RohDerek Eckman

set-based reasoninglogic in computer sciencelogical reasoningformal methodsproof theorycomputing educationmathematical logiclinguisticsmathematics

Student Quantifications as Meanings for Quantified Variables in Complex Mathematical Statements. The Journal of Mathematical Behavior (2020)

Morgan Early SellersKyeong Hah RohErika David Parr

student quantificationsmathematicsquantified variablescomplex mathematical statements

1
10 / page

Kyeong-Hah Roh

Professor Professor of Mathematics Education

Arizona State University Digital Immersion

Affiliations

The College of Liberal Arts and Sciences

Natural Science

School of Mathematical and Statistical Sciences

Kyeong-hah Roh is currently serving as a Natural Science Professor Professor of Mathematics Education at Arizona State University Digital Immersion.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Kyeong-Hah Roh

Arizona State University Digital Immersion

Professor Professor of Mathematics Education

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Students’ Use of Generative Artificial Intelligence for Proving Mathematical Statements. ZDM (2024)

Hyunkyoung YoonJihye HwangKyungwon LeeKyeong Hah RohOh Nam Kwon

generative artificial intelligenceartificial intelligencegenerative aimathematical statementsmachine learningmathematicsmathematics education

Unitizing Predicates and Reasoning About the Logic of Proofs. Journal for Research in Mathematics Education (2024)

Paul Christian DawkinsKyeong Hah Roh

Theo’s Reinvention of the Logic of Conditional Statements’ Proofs Rooted in Set-Based Reasoning. The Journal of Mathematical Behavior (2023)

Paul Christian DawkinsKyeong Hah RohDerek Eckman

set-based reasoninglogic in computer sciencelogical reasoningformal methodsproof theorycomputing educationmathematical logiclinguisticsmathematics

Student Quantifications as Meanings for Quantified Variables in Complex Mathematical Statements. The Journal of Mathematical Behavior (2020)

Morgan Early SellersKyeong Hah RohErika David Parr

student quantificationsmathematicsquantified variablescomplex mathematical statements

1
10 / page

Similar Faculty Members

Paul Dawkins

Institution

Texas State University

mathematics

mathematics education

Scott Weinstein

Institution

University of Pennsylvania

philosophical logic

philosophy

Seth Poulsen

Institution

Utah State University

computational literacy

computational thinking

Ernest Davis

Institution

New York University

automated reasoning

commonsense reasoning

Aaron Stump

Institution

University of Iowa

type system

programming language

Rajendra Raj

Institution

Rochester Institute of Technology

data security

cybersecurity education

William Gasarch

Institution

University of Maryland, College Park

discrete algorithm

extremal graph theory

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Guershon Harel

Institution

University of California, San Diego

mathematics education

mathematics

Elise Lockwood

Institution

Oregon State University

computational thinking

python programming

Similar Faculty Members

Paul Dawkins

Institution

Texas State University

mathematics

mathematics education

Scott Weinstein

Institution

University of Pennsylvania

philosophical logic

philosophy

Seth Poulsen

Institution

Utah State University

computational literacy

computational thinking

Ernest Davis

Institution

New York University

automated reasoning

commonsense reasoning

Aaron Stump

Institution

University of Iowa

type system

programming language

Rajendra Raj

Institution

Rochester Institute of Technology

data security

cybersecurity education

William Gasarch

Institution

University of Maryland, College Park

discrete algorithm

extremal graph theory

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Guershon Harel

Institution

University of California, San Diego

mathematics education

mathematics

Elise Lockwood

Institution

Oregon State University

computational thinking

python programming