Yahoo Web Search

Sign In

Search results

  1. www.cs.cmu.edu › ~janhJan Hoffmann - CMU School of Computer Science

    Mar 1, 2024 · Jan Hoffmann, Associate Professor of Computer Science at Carnegie Mellon University. Research interests: programming languages and verification.

    • Teaching

      Jan Hoffmann, Associate Professor of Computer Science at...

  2. Images

    • Jan Hoffmann freut sich auf den Trierer Abendmarkt, der am 17. April ...
    • Alle Infos & News zu Jan Hoffmann | VIP.de
    • Jan HOFFMANN | Chief | PhD Economics | United Nations Conference on ...
    • Meet our opening keynote speaker, Jan Hoffmann (UNCTAD) - Supply Chain ...
    • Jan Hoffmann, Chief, Trade Logistics Branch at Division on Technology ...

    View all

  3. scholar.google.com › citations‪Jan Hoffmann‬ - ‪Google Scholar‬

    Articles 1–20. ‪Carnegie Mellon University‬ - ‪‪Cited by 2,397‬‬ - ‪Programming Languages‬ - ‪Formal Methods‬ - ‪Software Security‬.

  4. www.csd.cs.cmu.edu › people › facultyJan Hoffmann - Carnegie Mellon University

    My research mission is to discover beautiful mathematical ideas that have a real-world impact, shape the way programmers think, and help to create software that is more reliable, efficient, and secure.

  5. Videos

    View all

  6. en.wikipedia.org › wiki › Jan_HoffmannJan Hoffmann - Wikipedia

    Jan Hoffmann (born 26 October 1955) is a German figure skater who represented East Germany in competition. A four-time Olympian, he is the 1980 Olympic silver medalist, the 1974 & 1980 World Champion, and a four-time (1974, 1977–1979) European Champion .

  7. www.cs.cmu.edu › ~janh › publicationsJan Hoffmann | publications

    Mar 1, 2024 · Jan Hoffmann, Associate Professor of Computer Science at Carnegie Mellon University. Research interests: programming languages and verification

  8. www.youtube.com › watchJan Hoffmann - 1980 Olympics LP - YouTube

    Jan Hoffmann - 1980 Olympics LP. Jan skated a very clean performance with 4 different triple jumps - the peak of technique at the time. But it wasn't enough. While much has been made of the...

    • 6 min
    • 20.5K
    • floskate

  9. www.cs.cmu.edu › ~janh › teachingJan Hoffmann | teaching

    Jan Hoffmann, Associate Professor of Computer Science at Carnegie Mellon University. Research interests: programming languages and verification.