This page is obsolete! Please go to
the new department website.
Job description: Associate Professor
Office at the Techo-Z: J. Haringer Str.2, room 1.06
Phone number: +43 662 8044 6342
Research interests: automated theorem proving, artificial intelligence
his personal page: http://www.cosy.sbg.ac.at/~eder/eder.html
Email: edercosy.sbg.ac.at