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
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. in Softwaretechnik-Trends (2024). 44(4) 27–29.
-
Security Analysis of a Decentralized, Revocable and Verifiable Attribute-Based Encryption Scheme. 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. in MFCS (2024). (Vol. 306) 50:1–50:17. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.