Andreas Pavlogiannis
Scholar

Andreas Pavlogiannis

Google Scholar ID: 9QvqaqUAAAAJ
Associate Professor, Aarhus University
Formal MethodsProgramming LanguagesAlgorithmic VerificationConcurrencyNetwork Diffusion
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,166
 
H-index
19
 
i10-index
35
 
Publications
20
 
Co-authors
54
list available
Contact
CVOpen ↗
Publications
4 items
Exact Quantum Circuit Optimization is co-NQP-hard
2025
Cited
0
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
2025
Cited
0
Testing Message-Passing Concurrency
2025
Cited
0
AWDIT: An Optimal Weak Database Isolation Tester
2025
Cited
0
Resume (English only)
Academic Achievements
  • Published numerous papers in top-tier venues including POPL, PLDI, CAV, ICSE, AAAI, IJCAI, TACAS, ASPLOS, etc.
  • Distinguished Paper Award at PLDI 2025 for 'AWDIT: An Optimal Weak Database Isolation Tester'
  • Best Paper Award at ASPLOS 2024 for 'CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis'
  • Best Presentation Award at SOAP 2024
  • Served on program committees of major conferences: POPL, ESOP, AAAI, IJCAI, CONCUR, OOPSLA, CAV, VMCAI, ATVA, PLDI, etc.
  • Organizer of CONFEST ’25
Co-authors
54 total
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Co-author 2
Co-author 2
Josef Tkadlec
Josef Tkadlec
Charles University, Prague
Rasmus Ibsen-Jensen
Rasmus Ibsen-Jensen
Lecturer, University of Liverpool
Umang Mathur
Umang Mathur
Presidential Young Professor at National University of Singapore
Amir Goharshady
Amir Goharshady
Associate Professor, University of Oxford
Paul Spirakis
Paul Spirakis
Professor of Computer Science U. Liverpool and U. Patras
Co-author 8
Co-author 8