Peter Schneider-Kamp
Scholar

Peter Schneider-Kamp

Google Scholar ID: 9PSkUdwAAAAJ
Professor of Computer Science, University of Southern Denmark
Artificial IntelligenceAutomated ReasoningDeclarative ProgrammingProgramming LanguagesSoftware Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,209
 
H-index
19
 
i10-index
34
 
Publications
20
 
Co-authors
0
 
Contact
Emailpetersk@imada.sdu.dkCVOpen ↗
Publications
12 items
SommBench: Assessing Sommelier Expertise of Language Models
2026
Cited
0
FlexMoRE: A Flexible Mixture of Rank-heterogeneous Experts for Efficient Federatedly-trained Large Language Models
2026
Cited
0
Training Language Models to Use Prolog as a Tool
2025
Cited
0
DaLA: Danish Linguistic Acceptability Evaluation Guided by Real World Errors
2025
Cited
0
Achieving Hilbert-Schmidt Independence Under Rényi Differential Privacy for Fair and Private Data Generation
2025
Cited
0
Randomized PCA Forest for Outlier Detection
2025
Cited
0
Dynaword: From One-shot to Continuously Developed Datasets
2025
Cited
0
Disjoint Generative Models
2025
Cited
0
Resume (English only)
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
Co-authors
0 total
Co-authors: 0 (list not available)