Peter Schneider-Kamp

E-Mail

petersk@imada.sdu.dk

Home page

http://imada.sdu.dk/~petersk/

Telephone

+45 6550 2327

Mobile phone

+45 2650 9755

Position

Professor

Office

IMADA, Ø13-602b-2 (map)

Address

Dept. of Mathematics & Computer Science
University of Southern Denmark
Campusvej 55
DK-5230 Odense M
Denmark

Teaching

Current Courses

Past Courses

Research

Automated Software Verification

Reducing Search Problems to SAT

Sorting Networks

  • Minimal Size Sorting Networks
  • Minimal Depth Sorting Networks
  • Efficient Sorting based on Sorting Networks

Professional Activities

Current Activities & Memberships

Past Activities

Selected Publications

PhD Thesis

Journals

Conferences

Design by 1234.info | Modified by Peter Schneider-Kamp | CSS 2.0