Intern
Chair of Computer Science II - Software Engineering

David Dingel

David Dingel, M.Sc.

Chair of Software Engineering (Informatik II)
Department of Computer Science
University of Würzburg

Am Hubland, 97074 Würzburg
Informatikgebäude, 1.OG, Room A101

E-Mail david.dingel@uni-wuerzburg.de
Phone +49 (931) 31 88754
ORCID-ID 0009-0009-6684-682X

Teaching

  • Complexity Theory I+II (WS21, WS22)
  • Theoretical Computer Science (SS21-SS25)
  • Algorithms and Data Structures (WS19)

CV

since 2023 Researcher, Chair of Software-Engineering (Informatik II), University of Wuerzburg
2020 - 2023 Developer at Infosim GmbH (part-time)
2025 M.Sc. Computer Science, University of Wuerzburg
2024 B.Sc. Mathematics, University of Wuerzburg
2023 B.Sc. Computer Science, University of Wuerzburg

 

Publications

  • On the Realisation of a Workflow for Continuous Earth Observation of Forest Dynamics: A Performance Engineering Challenge. Herbst, Nikolas; Jaggy, Niklas; Dingel, David; Linke, David; Kuenzer, Claudia; Kounev, Samuel; in Softwaretechnik-Trends (2024). 44(4) 27–29.
  • Security Analysis of a Decentralized, Revocable and Verifiable Attribute-Based Encryption Scheme. Prantl, Thomas; Lauer, Marco; Horn, Lukas; Engel, Simon; Dingel, David; Kounev, Samuel; Bauer, André; Krupitzer, Christian; Kounev, Samuel; in Proceedings of the 19th International Conference on Availability, Reliability and Security (2024). 1–11. ACM.
  • An Oracle with no UP-Complete Sets, but NP = PSPACE. Dingel, David; Egidy, Fabian; Glaßer, Christian; in MFCS (2024). (Vol. 306) 50:1–50:17. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.