Skip to main content

Peter Scneider-Kamp

Professor

Phone: +45 6550 2327
Email: petersk@imada.sdu.dk

Automated Software Verification
- Termination of Logic Programs
- Termination of Functional Programs
- Termination of Term Rewriting
- Termination of Imperative Programs
- Development of the AProVE Tool
 
Reducing Search Problems to SAT
- Applications in Automated Abstraction and Program Synthesis
- Encoding LPO to SAT
- Encoding RPO to SAT
- Encoding POLO to SAT
 
Sorting Networks
- Minimal Size Sorting Networks
- Minimal Depth Sorting Networks
- Efficient Sorting based on Sorting Networks
 
Group webpage: Peter Schneider-Kamp
 
A complete list of publications by Peter Schneider-Kamp can be found here.

Peter Schneider-Kamp