About
Eike Neumann is a Lecturer in the Department of Computer Science, Swansea University.
Dr Eike Neumann
Lecturer
Computer Science
Office - 310
Third Floor
Computational Foundry
Bay Campus
Third Floor
Computational Foundry
Bay Campus
Research Links
Areas Of Expertise
- Computable Analysis
- Computational Complexity
- Reachability Problems for Dynamical Systems
Publications
Research Highlights
-
Neumann, E. & Tembo, M. (2026). Termination of Real Linear Loops. In Lecture Notes in Computer Science (pp. 437-452). Springer Nature Switzerland.
-
Neumann, E. (2025). Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. In Leibniz International Proceedings in Informatics (LIPIcs) (pp. 79:1-79:20). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
-
Neumann, E., Pauly, A., Pradic, C., & Valenti, M. (2025). Computably Discrete Represented Spaces. In Lecture Notes in Computer Science (pp. 349-364). Springer Nature Switzerland.
-
Franklin, J., Neumann, E., Pauly, A., Pradic, C., & Valenti, M. (2025). Represented Spaces of Represented Spaces. In Lecture Notes in Computer Science (pp. 47-61). Springer Nature Switzerland.
-
Park, S., Brauße, F., Collins, P., Kim, S., Konečný, M., Lee, G., Müller, N., Neumann, E., Preining, N., & Ziegler, M. (2024). Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Logical Methods in Computer Science, 20(2)
-
Neumann, E. (2023). On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions. In Olivier Bournez, Enrico Formenti, Igor Potapov (Ed.), Lecture Notes in Computer Science (pp. 98-112). Springer Nature Switzerland
-
D'Costa, J., Engel, L., Neumann, E., Ouaknine, J., & Worrell, J. (2022). Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. In LIPIcs, MFCS 2022Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany.
-
Neumann, E. (2022). Uniform Envelopes. Logical Methods in Computer Science, 18(3), 8:1-8:34.
-
Neumann, E. (2022). On the computability of the set of automorphisms of the unit square. Theoretical Computer Science, 903, 74-83.
-
Konečný, M. & Neumann, E. (2021). Representations and evaluation strategies for feasibly approximable functions. Computability, 10(1), 63-89.
All Research
Journal Articles
-
Park, S., Brauße, F., Collins, P., Kim, S., Konečný, M., Lee, G., Müller, N., Neumann, E., Preining, N., & Ziegler, M. (2024). Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Logical Methods in Computer Science, 20(2)
-
Neumann, E. (2022). Uniform Envelopes. Logical Methods in Computer Science, 18(3), 8:1-8:34.
-
Neumann, E. (2022). On the computability of the set of automorphisms of the unit square. Theoretical Computer Science, 903, 74-83.
-
Neumann, E. (2021). Decision problems for linear recurrences involving arbitrary real numbers. Logical Methods in Computer Science, 17(3), 16:1-16:26.
-
Konečný, M. & Neumann, E. (2021). Representations and evaluation strategies for feasibly approximable functions. Computability, 10(1), 63-89.
-
Neumann, E. & Steinberg, F. (2020). Parametrised second-order complexity theory with applications to the study of interval computation. Theoretical Computer Science, 806, 281-304.
-
Neumann, E., Pape, M., & Streicher, T. (2018). Computability in Basic Quantum Mechanics. Logical Methods in Computer Science, 14(2)
-
Neumann, E., Neumann, E., & Pauly, A. (2018). A topological view on algebraic computation models. Journal of Complexity, 44, 1-22.
-
Neumann, E. (2015). Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees. Logical Methods in Computer Science, 11(4)
Book Chapters
-
Neumann, E. (2023). On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions. In Olivier Bournez, Enrico Formenti, Igor Potapov (Ed.), Lecture Notes in Computer Science (pp. 98-112). Springer Nature Switzerland
Conference Contributions
-
Neumann, E. & Tembo, M. (2026). Termination of Real Linear Loops. In Lecture Notes in Computer Science (pp. 437-452). Springer Nature Switzerland.
-
Neumann, E. (2025). Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. In Leibniz International Proceedings in Informatics (LIPIcs) (pp. 79:1-79:20). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
-
Neumann, E., Pauly, A., Pradic, C., & Valenti, M. (2025). Computably Discrete Represented Spaces. In Lecture Notes in Computer Science (pp. 349-364). Springer Nature Switzerland.
-
Franklin, J., Neumann, E., Pauly, A., Pradic, C., & Valenti, M. (2025). Represented Spaces of Represented Spaces. In Lecture Notes in Computer Science (pp. 47-61). Springer Nature Switzerland.
-
D'Costa, J., Engel, L., Neumann, E., Ouaknine, J., & Worrell, J. (2022). Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. In LIPIcs, MFCS 2022Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany.
-
Lefaucheux, E., D'Costa, J., Neumann, E., Ouaknine, J., & Worrell, J. (2021). On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. In Bonchi, Filippo and Puglisi, Simon J. (Ed.), 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) (pp. 33:1-33:21). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
-
Neumann, E., Ouaknine, J., & Worrell, J. (2021). Decision Problems for Second-Order Holonomic Recurrences. In Nikhil Bansal, Emanuela Merelli, James Worrell (Ed.), 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (pp. 99:1-99:20). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
-
Neumann, E., Ouaknine, J., & Worrell, J. (2020). On Ranking Function Synthesis and Termination for Polynomial Programs. In Igor Konnov and Laura Kovács (Ed.), 31st International Conference on Concurrency Theory (CONCUR 2020)Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
Supervision
-
Extending the state-of-the-art in Software Certification: A Study in Railway Signalling (SoftCert) (current)
PhDOther supervisor: Prof Markus Roggenbach -
Automated Verification of Dynamical Systems over Continuous Data (current)
PhDOther supervisor: Dr Ulrich Berger -
An Empirical Evaluation of a Quality Assurance Process: A Case Study in the Railway Sector (awarded 2025)
MScOther supervisor: Prof Markus Roggenbach
Taught Modules
-
CS-117 Modelling Computing Systems
Students will become familiar with the fundamental mathematical techniques for modelling hardware and software systems and will develop skills in scientific modelling such as abstraction, the precise formulation of informal notions, rigorous reasoning and analysis.
-
CS-117C Modelu Systemau Cyfrifiadurol
Bydd myfyrwyr yn ymgyfarwyddo â'r technegau mathemategol sylfaenol ar gyfer modelu systemau caledwedd a meddalwedd. Byddant yn datblygu sgiliau modelu gwyddonol megis haniaethu, llunio syniadau anffurfiol yn fanwl gywir, rhesymu a dadansoddi trwyadl.
-
CSC318T Cryptography and IT-Security
The aim of this course is to examine theoretical and practical aspects of computer and network security.
-
CSC364 Software Testing
Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test scenarios; practical exercises will allow the students to gain hands-on experience.
-
CSC364T Software Testing
Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test scenarios; practical exercises will allow the students to gain hands-on experience.