Institut für Computersprachen (E185)

Institutsvorstand: Prof. Jens Knoop

http://www.logic.at/e185.html

Forschungsgebiete des Instituts für Computersprachen sind die Theoretische Informatik und Logik, dabei insbesondere Deduktionssysteme, Beweistheorie, sowie Automaten und formale Sprachen, sowie die Theorie von Programmiersprachen, deren Entwurf, Implementierung und Anwendung sowie Wechselwirkungen mit angrenzenden Gebieten wie verteilte Systeme, Rechnerarchitektur und Betriebssysteme. Schwerpunkte sind insbesondere Programmier- und Entwicklungswerkzeuge, eingebettete Systeme, Analyse, Verifikation und Optimierung für Übersetzer und Interpreter, sowie Programmier-, Kommunikations- und Koordinationsparadigmen und Standards wie Space-Based Computing und Semantic Web und deren Einsatz in neuen innovativen Anwendungsszenarien.

Arbeitsbereiche:

Programmiersprachen und Übersetzerbau (185-1)
Theoretische Informatik und Logik (185-2)

Home • Kontakt • Webmaster — Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. — Disclaimer.