#let isDraft = true
#let author = "<NAME>"
#let title = [Guarded Type Theory - An Overview]
#let thesisType = [Bachelor's Thesis]
#let keywords = ("Natural Deduction", "proofs as programs", "Curry-Howard isomorphism")

#let reviewerOne = [Prof. A.]
#let reviewerTwo = [Prof. B] // set to none to remove

#let advisorOne = [M.Sc. C]
#let advisorTwo = [M.Sc. D] // set to none to remove

#let department = [Informatics]
#let institute = [Institute of Magic]

#let statutoryDeclarationPlaceAndDate = [Karlsruhe, October 1, 2024]