Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

Frühere Semester

Technische Universität Wien

Andere Universitäten

The FernUniversität / University of Hagen
WS 2002/03 Software-Architektur (V2+Ü2)
Programmanalyse: Prinzipien und Anwendungen (V2+Ü2)
Abstrakte Interpretation und Model-Checking (S2)
SS 2002 Einführung in die objektorientierte Programmierung (V4+Ü2)
Formale Methoden in der Software-Entwicklung (S2)
University of Dortmund
WS 2001/02 Datenstrukturen, Algorithmen und Programmierung I (2x Ü2)
SS 2001 Theorie der Programmierung (V4+Ü2)
(Theoretische Stammvorlesung)
WS 2000/01 Programmiersprachen und ihre Übersetzer II (V2+Ü2)
(Praktische Stammvorlesung)
SS 2000 Theorie der Programmierung (V4+Ü2)
(Theoretische Stammvorlesung)
WS 1999/2000 Programmiersprachen und ihre Übersetzer II (V2+Ü2)
(Praktische Stammvorlesung)
SS 1999 Theorie der Programmierung (V4+Ü2)
(Theoretische Stammvorlesung)
WS 1998/99 Optimierungstechniken im Übersetzerbau (V2+Ü2)
University of Passau
SS 1998 Grundlagen der Informatik II (V3+Ü2)
Parallele Optimierung (V2)
Innovative Methoden zur Optimierung paralleler Programme (S2)
WS 1997/98 Grundlagen der Informatik I (V4+Ü3)
SS 1997 Effiziente Analysetechniken (V2+Ü2)
WS 1995/96 Optimierende Compiler II (V2+Ü2)
Formale Methoden zur statischen Analyse objektorientierter Programme (S2)
SS 1995 Optimierende Compiler I (V2+Ü2)
WS 1993/94 Analyse und Verifikation (V2+Ü2)

 

Complang
Knoop
   Events
   Teaching/Lehre
      ERASMUS/LLP
      LVA-Stammseiten
      Lehre 2018 S
      Lehre 2017 W
      Lehre 2017 S
      Lehre 2016 W
      Lehre 2016 S
      Lehre 2015 W
      Frühere Semester
   Research Interests
   Publications
   Professional Activities
   Memberships
   Selected CFPs
   Useful Links
Sitemap
Kontakt
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | letzte Änderung: 2017-06-26 (Knoop)