Peter Schneider-Kamp

E-Mail

petersk@imada.sdu.dk

Home page

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

Telephone

+45 6550 2327

Position

Associate 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

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