Symbolisches Rechnen

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

Webseite

 

Symbolisches Rechnen bedeutet: Automatisches Rechnen mit Formeln (statt nur mit Zahlen). Wir implementieren Rechenregeln der mathematischen Logik und Algebra als Computerprogramme und wenden sie an.

 

Unser Spezialgebiet ist SAT-Solving in Boolescher Algebra. Unsere besondere Stärke liegt in der Konstruktion leistungsfähiger symbolischer Software-Systeme in Java. Unsere Anwendungen umfassen Konfigurationsprobleme in der Automobil-Industrie, in Computer- und Speicher-Netzwerken sowie in der formalen Fehler-Analyse und Verifikation von Systemsoftware.

 

Unser Vorlesungsangebot umfasst zusätzlich Betriebssysteme sowie Verteilte und Parallele Systeme.  

SekretariatGülşen Ergün-Karagkiozidou
Anschrift

Universität Tübingen

Fachbereich Informatik
Symbolisches Rechnen
Sand 14
72076 Tübingen 

Telefon07071 - 29 70471
Fax07071 - 29 5160
Raum  C 104
E-Mailsr-sekretariat (at) inf.uni-tuebingen.de
Bürozeiten

 Mo und Do 14-16 Uhr, Di und Mi 10-12 Uhr