Scholar
Peter Schneider-Kamp
Google Scholar ID: 9PSkUdwAAAAJ
Professor of Computer Science, University of Southern Denmark
Citations & Impact
Citations
1,209
H-index
19
i10-index
34
Publications
20
Co-authors
0
Publications
Resume
Background
- Research interests include automated software verification and termination analysis of logic programs, functional programs, term rewriting systems, and imperative programs
- Developer of the AProVE (Automated Program Verification Environment) tool
- Focuses on reducing search problems to SAT, with applications in automated abstraction and program synthesis
- Investigates SAT encodings of orderings such as LPO, RPO, and POLO
- Studies sorting networks, including minimal-size and minimal-depth variants and their efficient implementations