Skip to content

Scientist · Computer Science

Iavor S. Diatchki

Galois (United States), Portland, United States

iD0009-0000-7795-4708

Citations, last 5 years: 6
Works, last 5 years: 5
h-index: 8
Citations, all time: 201
In Computer Science: #357,655

Research topics

Logic, programming, and type systems25Computer Science
Embedded Systems Design Techniques10Computer Science
Parallel Computing and Optimization Techniques6Computer Science
Formal Methods in Verification6Computer Science
Software Testing and Debugging Techniques6Computer Science

Recent works

Discussion

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

Start a discussion