• Skip to main navigation
  • Skip to content
  • Skip to footer
  • Skip to search
Logo of the University Tübingen
  1. Login
  2. Choose language
    • German
    • English
    • Chinese
  1. Search
    Search
  2. Information for
    • Studieninteressierte
    • Studierende
    • Beschäftigte
    • Lehrende
    • Alumni
    • Presse
    • Wirtschaft
    • Weiterbildung
  3. Symbolisches Rechnen
    • HomepageHomepage
      • HomepageOverview
      • Arbeitsbereich
      • Lehre
      • Forschung
      • Kontakt
    • ArbeitsbereichArbeitsbereich
      • ArbeitsbereichOverview
      • Prof. Wolfgang Küchlin
      • Jens Haußmann
    • LehreLehre
      • LehreOverview
      • Wintersemester 2019/2020Wintersemester 2019/2020
        • Wintersemester 2019/2020Overview
        • Ausgewählte Themen der Computersicherheit
      • Sommersemester 2019Sommersemester 2019
        • Sommersemester 2019Overview
        • Praktikum Betriebssysteme
      • Wintersemester 2018/2019Wintersemester 2018/2019
        • Wintersemester 2018/2019Overview
        • Ausgewählte Themen zur Computersicherheit
      • Sommersemester 2018
      • Wintersemester 2017/2018Wintersemester 2017/2018
        • Wintersemester 2017/2018Overview
        • Ausgewählte Themen zur Computersicherheit
      • Sommersemester 2017Sommersemester 2017
        • Sommersemester 2017Overview
        • Automatisches Beweisen - Grundlagen
        • Praktikum Betriebssysteme
        • Systemkonzepte - Seminar
    • Forschung
    • Abschlussarbeiten
    • Kontakt
Mathematisch-Naturwissenschaftliche Fakultät
Symbolisches Rechnen
  • Skip to main navigation
  • Skip to content
  • Skip to footer
  • Skip to search
  1. Information for
    • Studieninteressierte
    • Studierende
    • Beschäftigte
    • Lehrende
    • Alumni
    • Presse
    • Wirtschaft
    • Weiterbildung
  2. Login
  3. Search
    Search
  4. Choose language
    • German
    • English
    • Chinese
Logo of the University Tübingen
Symbolisches Rechnen
  • HomepageHomepage
    • HomepageOverview
    • Arbeitsbereich
    • Lehre
    • Forschung
    • Kontakt
  • ArbeitsbereichArbeitsbereich
    • ArbeitsbereichOverview
    • Prof. Wolfgang Küchlin
    • Jens Haußmann
  • LehreLehre
    • LehreOverview
    • Wintersemester 2019/2020Wintersemester 2019/2020
      • Wintersemester 2019/2020Overview
      • Ausgewählte Themen der Computersicherheit
    • Sommersemester 2019Sommersemester 2019
      • Sommersemester 2019Overview
      • Praktikum Betriebssysteme
    • Wintersemester 2018/2019Wintersemester 2018/2019
      • Wintersemester 2018/2019Overview
      • Ausgewählte Themen zur Computersicherheit
    • Sommersemester 2018
    • Wintersemester 2017/2018Wintersemester 2017/2018
      • Wintersemester 2017/2018Overview
      • Ausgewählte Themen zur Computersicherheit
    • Sommersemester 2017Sommersemester 2017
      • Sommersemester 2017Overview
      • Automatisches Beweisen - Grundlagen
      • Praktikum Betriebssysteme
      • Systemkonzepte - Seminar
  • Forschung
  • Abschlussarbeiten
  • Kontakt
Mathematisch-Naturwissenschaftliche Fakultät
Symbolisches Rechnen
You are here:
  • StartseiteStartseite
  • FakultätenFakultäten
  • Mathematisch-Naturwissenschaftliche FakultätMathematisch-Naturwissenschaftliche Fakultät
  • FachbereicheFachbereiche
  • InformatikInformatik
  • Symbolisches RechnenSymbolisches Rechnen
  • Arbeitsbereich

Der Arbeitsbereich Symbolisches Rechnen

Arbeitsbereich Symbolisches Rechnen

Universität Tübingen
Wilhelm-Schickard-Institut für Informatik
Sand 14
72076 Tübingen

Name Raum Tel. E-Mail  
Professor        

Prof. Dr. sc. techn. (ETH)
Wolfgang Küchlin

C 105 29-70470 Wolfgang.Kuechlin@uni-tuebingen.de
Mitarbeiter        
Jens Haußmann, M. Sc. B 102 29-70474 jens.haussmannspam prevention@uni-tuebingen.de
  1. Share on Facebook (opens in new window)
  2. Share on LinkedIn (opens in new window)
  3. Share on Mastodon (opens in new window)
  4. Share on Bluesky (opens in new window)
  5. Share via email (opens in new window)
  1. Share on Facebook (opens in new window)
  2. Share on LinkedIn (opens in new window)
  3. Share on Mastodon (opens in new window)
  4. Share on Bluesky (opens in new window)
  5. Share via email (opens in new window)
Kontaktinfo

Eberhard Karls Universität Tübingen

Geschwister-Scholl-Platz
72074 Tübingen

Tel: +49 7071 29-0
Zum Kontaktformular

Service
Amtliche BekanntmachungenBarrierefreie ZugängeBeratung für internationale StudierendePresseSemestertermineStellenangeboteStudienorganisationUniversitätsbibliothekVerzeichnis der StudiengängeZentrale Studienberatung
Weitere Angebote
Betriebszustand NetzwerkCD-VorlagenKonferenzmaterialienLagepläneMensamenüNewsletter Uni Tübingen aktuellStudierendensekretariatStudium GeneraleUni A - ZUnishopVeranstaltungskalender
Portale
ALMAExchange Mail (OWA)Forschungsinformationssystem FITILIAS, moodlePersonensuche (EPV)PraxisportalTimms Video PortalWebmail Uni Tübingen
  • Impressum
  • Datenschutzerklärung
  • Barrierefreiheit
  • Leichte Sprache
  • Gebärdensprache
  • RSS-Feed
  • Shortcut
  • Print

© 2026 Eberhard Karls Universität Tübingen