B.Sc. Marc Huisinga

	Kontakt

Lehre

• Praktikum: Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie , Sommersemester 2021

Veröffentlichungen

2023

• Static Uniqueness Analysis for the Lean 4 Theorem Prover
  April 2023 : M. Huisinga

2019

• Formally Verified Insertion of Reference Counting Instructions
  November 2019 : M. Huisinga

Bearbeitete Studien- und Abschlussarbeiten

• Formal verifiziertes Einfügen von Referenzzählungsinstruktionen (abgeschlossen), Bachelorarbeit
• Statische Einzigartigkeitsanalyse für Lean (abgeschlossen), Masterarbeit