Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

ERASMUS/LLP-Aktivitäten

Studierendenaustausch

Haben Sie Interesse an einem geförderten Auslandsstudium?

Im Rahmen der von der Europäischen Union geförderten ERASMUS/LLP-Programmlinie besteht die Möglichkeit zu durch Mobilitätsstipendien geförderten Studiumsaufenthalten an internationalen Partneruniversitäten der TU Wien. Im Ausland als ERASMUS-Stipendiat erbrachte Studienleistungen können an der TU Wien angerechnet werden. Wenn Sie Interesse an einem Studiumsaufenthalt an einer der folgenden Universitäten haben, setzen Sie sich bitte mit mir in Verbindung, gerne auch unverbindlich:

• Københavns Universitet, Kopenhagen, Dänemark
• Universität Halle-Wittenberg, Deutschland
• Universität Paderborn, Deutschland
• Universidade Aalto University Helsinki School of Science, Helsinki, Finnland
• Seconda Università degli Studi di Napoli, Neapel, Italien
• Universiteit van Amsterdam, Niederlande
• Universidade Técnica de Lisboa , Lissabon, Portugal
• Universidade do Minho, Braga, Portugal
• Linköpings Universitet, Linköping, Schweden
• Universidad del Pais Vasco/Euskal Herriko Unibertsitatea, Bilbao, Spanien
• Universidad Politécnica de Valéncia, Spanien
• University of Hertfordshire, Hatfield, UK
• University of Cyprus, Zypern

Weitere Informationen zum ERASMUS/LLP-Programm, darunter eine Antrags-Checkliste und ein Überblick über weitere Partneruniversitäten der TU Wien erreichen Sie von dieser Seite unter der Rubrik "Outgoing".

Ihre Wunschuniversität ist (noch) nicht dabei? Melden Sie sich auch dann.

Weiters finden Sie aktuelle Informationen zu bezahlten Summer Internships (auch für Bachelorstudierende) und zu Promotionsmöglichkeiten an der University of California, Irvine.

Hochschullehreraustausch

Bisherige Gastvorlesungen im Rahmen von ERASMUS/LLP-Vereinbarungen zwischen dem Arbeitsbereich für Programmiersprachen und Übersetzer der TU Wien und Partneruniversitäten:

• Mit Universidade do Minho, Braga, Portugal:
  • Gastvorlesung von Prof. Dr. João Saraiva, Universidade do Minho, Braga, an der TU Wien: Green Computing as an Engineering Discipline
    Blocklehrveranstaltung im SS 2017.

• Mit Københavns Universitet, Kopenhagen, Dänemark:
  • Gastvorlesung von Prof. Dr. Robert Glück, Universität Kopenhagen, an der TU Wien: Programminvertierung und Reversibles Rechnen, 185.331, VU 2.0, ECTS 3.0
           siehe auch TISS/185.331
    Blocklehrveranstaltung im SS 2011.

  • Gastvorlesung von Prof. Dr. Robert Glück, Universität Kopenhagen, an der TU Wien: Programminvertierung und Reversibles Rechnen, 185.331, VU 2.0, ECTS 3.0
           siehe auch TUWIS++/185.331
    Blocklehrveranstaltung im SS 2009.

• Mit Martin-Luther-Universität Halle-Wittenberg, Deutschland:
  • Gastvorlesung von Prof. Dr. Wolf Zimmermann, Martin-Luther-Universität Halle-Wittenberg, an der TU Wien:
    Verifikation von Übersetzern, 185.323, VU 2.0, ECTS 3.0
           siehe auch TISS/185.323
    Blocklehrveranstaltung im SS 2011.

  • Gastvorlesung von Prof. Dr. Jens Knoop, TU Wien, an der Martin-Luther-Universität Halle-Wittenberg, Deutschland:
    Analyse und Verifikation
    Blocklehrveranstaltung im SS 2010.

  • Gastvorlesung von Prof. Dr. Wolf Zimmermann, Martin-Luther-Universität Halle-Wittenberg, an der TU Wien:
    Verifikation von Übersetzern, 185.323, VU 2.0, ECTS 3.0
           siehe auch TUWIS++/185.323
    Blocklehrveranstaltung im SS 2009.

  • Gastvorlesung von Prof. Dr. Wolf Zimmermann, Martin-Luther-Universität Halle-Wittenberg, an der TU Wien:
    Verifikation von Übersetzern, 185.323, VU 2.0, ECTS 3.0
           siehe auch TUWIS++/185.323
    Blocklehrveranstaltung im SS 2008.

  • Gastvorlesung von Prof. Dr. Jens Knoop, TU Wien, an der Martin-Luther-Universität Halle-Wittenberg, Deutschland:
    Optimale Programmoptimierung
    Blocklehrveranstaltung im SS 2007.

Weitere Gastprofessuren (ohne Erasmus-Anbindung)

• Gastvorlesung von Prof. Dr. Dr.h.c. Dines Bjørner, ACM Fellow, IEEE Fellow, Technical University of Denmark DTU, Lyngby, im Rahmen einer Gastprofessur an der TU Wien:
  Domain and Requirements: Science and Engineering, 195.085, VU 3.0, ECTS 3.0
         siehe TISS/195.085
  Blocklehrveranstaltung im WS 2015/16.

• Gastvorlesung von Prof. Dr. Kokichi Futatsugi, Japan Advanced Institute of Science and Technology (JAIST), Nomi, Ishikawa, Japan:
  Introduction to Specification and Verification in CafeOBJ
  Blocklehrveranstaltung im SS 2012.

• Gastvorlesung von Ass.Prof. Dr. Matthias Hauswirth, Università della Svizzera italiana, Lugano, Schweiz:
  Pitfalls in System Performance Evaluation
  Blocklehrveranstaltung im SS 2011.

• Gastvorlesung von Prof. Dr. Dr.h.c. Dines Bjørner, ACM Fellow, IEEE Fellow, Technical University of Denmark DTU, Lyngby, im Rahmen einer Gastprofessur an der TU Wien:
  From Domains to Requirements, 185.346, VU 3.0, ECTS 4.5
         siehe auch TUWIS++/185.346
  Blocklehrveranstaltung im SS 2010.