Curriculum Vitae

Education

• 2014 - Abitur, Max-Planck-Gymnasium, Trier
• 2018 - B.Sc. Computer Science, Johannes Gutenberg-University, Mainz (Thesis: PyAug – 2D & 3D Image Augmentation for Deep Learning)
• 2021 - M.Sc Computer Science with focus Mathematics, Johannes Gutenberg-University, Mainz (Thesis: JMPP / RETP - Privilege Escalation from User Space by Extending the X86 ISA)
• 2022 - PhD candidate at the Programming Languages work group at the JGU

Work experience

• 2016-2020 (with breaks): Research Assistant
  • JGU Mainz
  • Duties included: Teaching
• 2021-2022: Computer Scientist (medical informatics)
  • University Medical Center of the Johannes Gutenberg-University Mainz
  • Duties included: Web-Development, Integrating the ePA
  • Supervisor: Dr. Torsten Panholzer
• 2022-Today: Computer Scientist (programming languages)
  • Johannes Gutenberg-University Mainz
  • Duties included: Research, Teaching
  • Supervisor: Prof. Dr. Sebastian Erdweg

Skills

• Languages
  • German: Native
  • English: Advanced Level
• Programming languages:
  • Scala
  • Swift
  • Objective-C
  • Python
  • Java
  • C++
  • C

Publications

Simurgh: a fully decentralized and secure NVMM user space file system

Nafiseh Moti, Frederic Schimmelpfennig, Reza Salkhordeh, David Klopp, Toni Cortes, Ulrich Rückert, André Brinkmann. (2021). "Simurgh: a fully decentralized and secure NVMM user space file system." SC21 .

Object-Oriented Fixpoint Programming with Datalog

David Klopp, Sebastian Erdweg, André Pacak. (2024). "Object-Oriented Fixpoint Programming with Datalog." OOSPLA (2024) .

A Typed Multi-level Datalog IR and Its Compiler Framework

David Klopp, Sebastian Erdweg, André Pacak. (2024). "A Typed Multi-level Datalog IR and Its Compiler Framework." OOSPLA (2024) .

Separate Compilation and Partial Linking: Modules for Datalog IR

David Klopp, André Pacak, Sebastian Erdweg. (2024). "Separate Compilation and Partial Linking: Modules for Datalog IR." GPCE (2024) .