This website uses technically necessary cookies to offer the best possible functionality.
Further Information

Skip to Content Skip to Main Navigation Skip to Search

Search

Faculties and Institutions

Main page RWTH

  1. Academics
    • Lectures and seminars
    • Regulars Table
    • Bi-Weekly Meetings
    • Annual Spring Workshop
    • UnRAVeL Seminars
    • Summer Schools and Workshops
    • Reading Groups
    • Survey Lecture "Biggest Milestones - Research at Its Peak"
  2. Research
    • Publications
    • Ongoing Dissertation Projects
    • Completed Doctorates
    • Completed Bachelor and Master Theses
  3. The Research Training Group
    • Profile
    • People
    • Ombudsperson
    • DFG - German Research Foundation
    • Upcoming Events
    • Announcements & Highlights
    • Archive of Events
    • Gender & Diversity
    • Guest Researchers
    • UnRAVeL Notice Board
    • Job Openings

Intranet

Back

Lectures and seminars
    Back

    Regulars Table
      Back

      Bi-Weekly Meetings
        Back

        Annual Spring Workshop
          Back

          UnRAVeL Seminars
            Back

            Summer Schools and Workshops
              Back

              Reading Groups
                Back

                Survey Lecture "Biggest Milestones - Research at Its Peak"
                  Back

                  Publications
                    Back

                    Ongoing Dissertation Projects
                    • Algorithms and Complexity
                    • Verification
                    • Logic and Languages
                    • Application Scenarios
                    Back

                    Completed Doctorates
                      Back

                      Completed Bachelor and Master Theses
                        Back

                        Profile
                          Back

                          People
                          • Supervisors
                          • Phd Students
                          • Student Assistants
                          • Management
                          • Alumni
                          • In Memory of Gerhard Woeginger
                          Back

                          Ombudsperson
                            Back

                            DFG - German Research Foundation
                              Back

                              Upcoming Events
                                Back

                                Announcements & Highlights
                                  Back

                                  Archive of Events
                                    Back

                                    Gender & Diversity
                                    • Girls'Day
                                    • PromotionsCafé
                                    • Cooperations
                                    • Literature and Media
                                    • Contact
                                    Back

                                    Guest Researchers
                                    • Guests 2017
                                    • Guests 2018
                                    • Guests 2019
                                    • Guests 2020
                                    • Guests 2021
                                    • Guests 2022
                                    • Guests 2023
                                    Back

                                    UnRAVeL Notice Board
                                      Back

                                      Job Openings
                                        Back

                                        Faculties and Institutions
                                        Suche

                                        Faculties and Institutes

                                        • Mathematics, Computer Science and Natural SciencesFaculty 1
                                        • ArchitectureFaculty 2
                                        • Civil EngineeringFaculty 3
                                        • Mechanical EngineeringFaculty 4
                                        • Georesources and Materials EngineeringFaculty 5
                                        • Electrical Engineering and Information TechnologyFaculty 6
                                        • Arts and HumanitiesFaculty 7
                                        • Business and EconomicsFaculty 8
                                        • MedicineFaculty 10

                                        Institutions

                                        • University Library
                                        • IT Center
                                        • Center for Teaching and Learning Services
                                        • Athletics and Recreation
                                        • Central University Administration
                                        • All Institutions
                                        Logo: RWTH Aachen University
                                        • Deutsch
                                        • Search
                                        • Main menu
                                        UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic
                                        Download digital business card

                                        Person

                                        Ass. Prof.

                                        Jan Hoffmann

                                        Carnegie Mellon University

                                        Address

                                        +1 412 268 6309
                                        jhoffmann@cmu.edu
                                        Website
                                         

                                        Similar Topics

                                        • Guest Talk: Raising Expectations: Automating Expected Cost Analysis with Types

                                        last updated : 12/05/2021

                                        Guests 2020
                                        • You Are Here:Jan Hoffmann
                                         
                                        Back
                                        top
                                        RWTH Main Page
                                        Faculty of Mathematics, Computer Science and Natural Sciences
                                        Business and Economics
                                        Faculty of Civil Engineering
                                          • facebook
                                          • Xing
                                        Services Institutions
                                        • Contact and Maps
                                        • Site Credits
                                        • Site Map
                                        • Privacy Policy
                                        • Accessibility Statement
                                        • Feedback
                                        • Department of Computer Science
                                        • University Library
                                        • Site Credits
                                        • Privacy Policy
                                        • Desktop Version
                                        Cancel
                                           
                                        Cancel