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
    • Stellenangebote

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

                                      Stellenangebote
                                        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

                                        Dr.

                                        Daniel Neider

                                        Max Planck Institute for Software Systems

                                        Adresse

                                        +49 631 93038529
                                        neider@mpi-sws.org
                                        Website
                                         

                                        Verwandte Themen

                                        • Gastvortrag: Daniel Neider: Horn-ICE Learning: An Inductive Approach to Deductive Software Verification

                                        Letzte Aktualisierung : 11.06.2021

                                        Gäste 2021
                                        • Sie sind hier:Daniel Neider
                                         
                                        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