Skip to content

Scientist · Computer Science

Simon Spies

Max Planck Institute for Software Systems, Saarbrücken, Germany

iD0000-0001-5424-9002

Citations, last 5 years: 90
Works, last 5 years: 6
h-index: 7
Citations, all time: 147
In Computer Science: #114,665

Research topics

Logic, programming, and type systems10Computer Science
Formal Methods in Verification8Computer Science
Software Testing and Debugging Techniques6Computer Science
Advanced Algebra and Logic2Computer Science
Computability, Logic, AI Algorithms2Computer Science

Recent works

Discussion

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

Start a discussion