Skip to content

Scientist · Computer Science

Shin-ya Katsumata

Kyoto Sangyo University, Kyoto, Japan

iD0000-0001-7529-5489

Citations, last 5 years: 33
Works, last 5 years: 11
h-index: 15
Citations, all time: 746
In Computer Science: #210,944

Research topics

Logic, programming, and type systems78Computer Science
Advanced Algebra and Logic46Computer Science
Formal Methods in Verification33Computer Science
Logic, Reasoning, and Knowledge15Computer Science
Computability, Logic, AI Algorithms13Computer Science

Recent works

Discussion

Ask Shin-ya about their research. When the scientist claims this card, they will see your question.

Start a discussion