Skip to content

Scientist · Computer Science

Taeho Kim

Institute of Information & Communications Technology Planning & Evaluation, Daejeon, South Korea

iD0000-0002-5061-206X

Citations, last 5 years: 112
Works, last 5 years: 18
h-index: 9
Citations, all time: 346
In Computer Science: #96,890

Research topics

Formal Methods in Verification8Computer Science
Real-Time Systems Scheduling7Computer Science
Parallel Computing and Optimization Techniques6Computer Science
Safety Systems Engineering in Autonomy6Engineering
Logic, programming, and type systems5Computer Science

Recent works

Discussion

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

Start a discussion