Skip to content

Scientist · Computer Science

Deepak Garg

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

iD0000-0002-0888-3093

Citations, last 5 years: 159
Works, last 5 years: 30
h-index: 27
Citations, all time: 2 475
In Computer Science: #71,663

Research topics

Logic, programming, and type systems110Computer Science
Security and Verification in Computing73Computer Science
Formal Methods in Verification59Computer Science
Access Control and Trust49Social Sciences
Logic, Reasoning, and Knowledge39Computer Science

Recent works

Discussion

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

Start a discussion