Skip to content

Scientist · Computer Science

Alceste Scalas

Technical University of Denmark, Kongens Lyngby, Denmark

iD0000-0002-1153-6164

Citations, last 5 years: 58
Works, last 5 years: 39
h-index: 12
Citations, all time: 577
In Computer Science: #154,797

Research topics

Logic, programming, and type systems85Computer Science
Distributed systems and fault tolerance64Computer Science
Formal Methods in Verification59Computer Science
Parallel Computing and Optimization Techniques10Computer Science
Software Testing and Debugging Techniques7Computer Science

Recent works

Discussion

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

Start a discussion