Tom Kranz

Profile

Researcher with an interest in logic and teaching. Currently looking into applications of proof assistants for teaching proving.

Experience

University of Potsdam

Potsdam, DE

Doctoral Research Assistant

Nov 2022 - Present

  • Researching and furthering uses of proof assistants for teaching
  • All of the below

Teaching Assistant

Jun 2019 - Oct 2022

  • Mainly “Introduction to automata and formal languages”
  • Creating, organising and marking coursework and exams
  • Supervising student tutors
  • Managing students

Student Tutor

Oct 2016 - Sep 2018

  • “Introduction to information processing”, “Introduction to automata and formal languages”, “Concepts of parallel programming”
  • Directing exercise sessions
  • Marking coursework and exams

Havelpop, e.V. (registered association)

Potsdam, DE

Board of Directors (volunteer)

Apr 2023 - Present

  • financial administration
  • extraction and optimization of common workflows
  • acting on behalf of the choir (engagements, material acquisition, …)

Education

Master of Science in Computer Science

Otto von Guericke University Magdeburg

Oct 2018 - Oct 2022

Thesis on “Induction Provers in Hets: Leveraging the Tons of Inductive Problems language and tools to talk to more Automated Theorem Provers”
  • evaluating TIP as an exchange format for first-order specifications with inductive data types
  • implementing an interface from HeTS to Zipperposition facilitating TIP

Bachelor of Science in Computer Science

University of Potsdam

Oct 2015 - Sep 2018

Thesis on “RegApp: A web application for visualising concepts of regular languages” (original title: „RegApp: Eine Webanwendung zur Visualisierung der Konzepte regulärer Sprachen“)
  • creating a C++ library for parsing and converting regular expressions to and from finite automata (deterministic, nondeterministic, generalised nondeterministic)
  • creating a WebAssembly interface to facilitate the library's use in a web application
  • desinging and implementing exercises providing immediate feedback for students' performance
photo of me

Skills

    • Programming
    • Haskell
    • C++
    • Java/Android
    • Python
    • Javascript
    • Bash
      Sysadmin
    • Ubuntu
    • Fedora
    • OpenWRT
      Developer Tools
    • Git
    • Docker
    • Make
    • CMake
    • neovim
      Misc
    • LaTeX
    • Moodle

Languages

  • German
    Native
  • English
    Fluent

Diplomas

  • Certified Information Systems Security Professional/Teletrust Information Security Professional (2017)
  • English UNIcert® III/C1 (2017)

Interests

  • Crafting (paper, wood, metal, electronics)
  • Programming
  • Home cinema
  • Home networks
  • Linguistics
  • Choir singing
  • Video games