Skip to content

Scientist · Computer Science

Aïna Linn Georges

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

iD0000-0002-5951-4642

Citations, last 5 years: 75
Works, last 5 years: 17
h-index: 6
Citations, all time: 116
In Computer Science: #130,737

Research topics

Logic, programming, and type systems23Computer Science
Formal Methods in Verification19Computer Science
Security and Verification in Computing18Computer Science
Distributed systems and fault tolerance6Computer Science
Logic, Reasoning, and Knowledge3Computer Science

Recent works

Discussion

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

Start a discussion