Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.
Weitere Informationen

Zum Inhaltsbereich Zur Hauptnavigation Zur Suche

Suche

Fakultäten und Einrichtungen

Hauptseite RWTH

  1. Studium
    • Vorlesungen und Seminare
    • Stammtisch
    • Bi-Weekly Meetings
    • Jährlicher Frühlingsworkshop
    • UnRAVeL Seminars
    • Sommerschulen und Workshops
    • Buchclub
    • Ringvorlesung "Biggest Milestones - Research at Its Peak"
  2. Forschung
    • Publikationen
    • Laufende Dissertationsprojekte
    • Abgeschlossene Promotionen
    • Abgeschlossene Bachelor- und Masterarbeiten
  3. Das Graduiertenkolleg
    • Profil
    • Team
    • Ombudsperson
    • DFG – deutsche Forschungsgemeinschaft
    • Aktuelle Veranstaltungen
    • Meldungen & Highlights
    • Veranstaltungsarchiv
    • Gender & Diversity
    • Gastwissenschaftlerinnen und -wissenschaftler
    • UnRAVeL Pinnwand

Intranet

Zurück

Vorlesungen und Seminare
    Zurück

    Stammtisch
      Zurück

      Bi-Weekly Meetings
        Zurück

        Jährlicher Frühlingsworkshop
          Zurück

          UnRAVeL Seminars
            Zurück

            Sommerschulen und Workshops
              Zurück

              Buchclub
                Zurück

                Ringvorlesung "Biggest Milestones - Research at Its Peak"
                  Zurück

                  Publikationen
                    Zurück

                    Laufende Dissertationsprojekte
                    • Algorithmen und Komplexität
                    • Verifikation
                    • Logik und Sprachen
                    • Applikationsszenarien
                    Zurück

                    Abgeschlossene Promotionen
                      Zurück

                      Abgeschlossene Bachelor- und Masterarbeiten
                        Zurück

                        Profil
                          Zurück

                          Team
                          • Leitende Forschende
                          • PhD-Studierende
                          • Studentische Hilfskräfte
                          • Management
                          • Alumni
                          • In Gedenken an Gerhard Woeginger
                          Zurück

                          Ombudsperson
                            Zurück

                            DFG – deutsche Forschungsgemeinschaft
                              Zurück

                              Aktuelle Veranstaltungen
                                Zurück

                                Meldungen & Highlights
                                  Zurück

                                  Veranstaltungsarchiv
                                    Zurück

                                    Gender & Diversity
                                    • Girls'Day - Mädchen Zukunftstag
                                    • PromotionsCafé
                                    • Kooperationen
                                    • Literatur und Medien
                                    • Kontakt
                                    Zurück

                                    Gastwissenschaftlerinnen und -wissenschaftler
                                    • Gäste 2017
                                    • Gäste 2018
                                    • Gäste 2019
                                    • Gäste 2020
                                    • Gäste 2021
                                    • Gäste 2022
                                    • Gäste 2023
                                    Zurück

                                    UnRAVeL Pinnwand
                                      Zurück

                                      Fakultäten und Einrichtungen
                                      Suche

                                      Fakultäten und Institute

                                      • Mathematik, Informatik, NaturwissenschaftenFakultät 1
                                      • ArchitekturFakultät 2
                                      • BauingenieurwesenFakultät 3
                                      • MaschinenwesenFakultät 4
                                      • Georessourcen und MaterialtechnikFakultät 5
                                      • Elektrotechnik und InformationstechnikFakultät 6
                                      • Philosophische FakultätFakultät 7
                                      • WirtschaftswissenschaftenFakultät 8
                                      • MedizinFakultät 10

                                      Einrichtungen

                                      • Universitätsbibliothek
                                      • IT Center
                                      • Center für Lehr- und Lernservices
                                      • Hochschulsport
                                      • Zentrale Hochschulverwaltung
                                      • Alle Einrichtungen
                                      Logo: RWTH Aachen University
                                      • English
                                      • Suche
                                      • Hauptmenü
                                      UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic
                                      Digitale Visitenkarte herunterladen

                                      Person

                                      Ass. Prof.

                                      Jan Hoffmann

                                      Carnegie Mellon University

                                      Adresse

                                      +1 412 268 6309
                                      jhoffmann@cmu.edu
                                      Website
                                       

                                      Verwandte Themen

                                      • Gastvortrag: Raising Expectations: Automating Expected Cost Analysis with Types

                                      Letzte Aktualisierung : 12.05.2021

                                      Gäste 2020
                                      • Sie sind hier:Jan Hoffmann
                                       
                                      Zurück
                                      nach oben
                                      RWTH Startseite
                                      Fakultät für Mathematik, Informatik, Naturwissenschaften
                                      Fakultät für Wirtschaftswissenschaften
                                      Fakultät für Bauingenieurwesen
                                        • facebook
                                        • Xing
                                      Service Einrichtungen
                                      • Kontakt und Lagepläne
                                      • Impressum
                                      • Sitemap
                                      • Datenschutzerklärung
                                      • Barrierefreiheitserklärung
                                      • Feedback
                                      • Fachgruppe Informatik
                                      • Universitätsbibliothek
                                      • Impressum
                                      • Datenschutzerklärung
                                      • Desktop-Seite
                                      Abbrechen
                                         
                                      Abbrechen