TUD Logo

TUD Startseite » ... » Computational Logic » Mitarbeiter » Paola Bruscoli

Computational Logic

Paola Bruscoli

Position
Vertretungsprofessorin
Funktionen
Leiter des Lehrstuhls für Computational Logic
Forschungsschwerpunkte
Structural Proof Theory, Substructural Logics, Logic Programming, Concurrency
E-Mail Adresse
email address
Telefon
+49 (0)351 463 38388
Telefax
+49 (0)351 463 37924
Postanschrift
TU Dresden, Fakultät Informatik, International Center for Computational Logic, 01062 Dresden
Büro
Raum 2001, Nöthnitzer Str. 46, Dresden
Konsultationen
Details finden Sie auf ihrer Homepage.
Persönliche Seite
Homepage
Stand: 4.4.2011, 11:27 Uhr
Autor: Dipl.-Inf. Sebastian Haufe