Samuel Teuber
  • About Me
  • Research
  • Teaching
  • Blog
  • Publications
    • Verification of Autonomous Neural Car Control with KeYmaera X
    • Revisiting Differential Verification: Equivalence Verification with Confidence
    • Next Steps in LLM-Supported Java Verification
    • Provably Safe Neural Network Controllers via Differential Dynamic Logic
    • Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification
    • An Information-Flow Perspective on Algorithmic Fairness
    • Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
    • Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)
    • Geometric Path Enumeration for Equivalence Verification of Neural Networks
    • Quantifying Software Reliability via Model-Counting
    • An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors
    • Efficient unpacking of required software from CERNVM-FS
  • Talks
    • Revisiting Differential Verification: Equivalence Verification with Confidence
    • Next Steps in LLM-Supported Java Verification
    • Towards LLM-support for Deductive Verification of Java Programs
    • Provably Safe Neural Network Controllers via Differential Dynamic Logic
    • Heterogeneous Dynamic Logic
    • Provably Safe Neural Network Controllers via Differential Dynamic Logic
    • An Information-Flow Perspective on Algorithmic Fairness
  • Posts
    • Refreshingly structured
    • Uni und zyklische Abhängigkeiten
    • Mein erster Tag in Pittsburgh
    • Meine ersten Tage in den USA
    • Über das Facebook-Monopol und die Telekom der 1990er Jahre
    • Klausurenphase: Da kommt Adventsstimmung auf!
    • Fortsetzung folgt...
    • Studentisches Wohnen in Grenoble
    • Über die (Un)Bequemlichkeit zu wählen
    • Verbleibende Tage bis zur ersten Vorlesung: 0
    • How to make the UN effective — a modest proposal
    • Week 24 - Good Bye Sligo!
    • Woche 21 - Examen
    • Woche 15 - Praktikum
    • Woche *3 - deutsche Firmen
    • Woche 11 - Wochenenden
    • Woche 10 - Halloween
    • Woche 8 - Killary
    • Woche 6 und 7 - Sport
    • Woche 5 - irisches Essen
    • Woche 4 - Alles pendelt sich so langsam ein
    • Woche 3 - Ein Vergleich
    • Woche 2 - Fächer
    • Woche 1
    • Endlich da!
    • Noch eine Woche und 2 Tage
    • Jamboree Log 8
    • Jamboree Log 7
    • Jamboree Log 6
    • Jamboree Log 5
    • Jamboree Log 4
    • Jamboree Log 3
    • Jamboree Log 2
    • Jamboree Log 1
  • Projects
    • Solving difficult SMT instances using abstractions and incremental SMT solving
    • Efficient unpacking of required software from CVMFS
    • Developing a Deca subset compiler
    • Studyplan
  • Blog
  • Corrigenda
    • Corrigendum to "An Information-Flow Perspective on Algorithmic Fairness"
  • Programmierparadigmen
  • Research
  • Teaching

ProPa WS 20/21

· 1 min read

Hier finden sich die Unterlagen für mein Tutorium im Wintersemester 2020/21

Woche Ohne Lösungen Mit Lösungen PDF*
Woche 1 hier hier
Woche 2 hier hier hier
Woche 3 hier hier hier (Exportfehler)
Woche 4 hier — —
Woche 5 hier Aufschrieb
Woche 6 hier
Woche 7 hier hier
Woche 8 hier hier
Woche 9 hier hier
Woche 10 hier hier
Woche 11 hier hier
Woche 12 hier hier
Woche 13 hier

*Leider gibt es aktuell Probleme mit dem PDF Export

© 2025 Samuel Teuber

Published with Hugo Blox Builder.