Kevin Ferneding
M.Sc. Candidate in Computer Science & Engineering
Focus: Multi-Agent Systems & Dynamic Epistemic Logic
About
I am a Master's student in Computer Science & Engineering at the Technical University of Denmark, specializing in multi-agent systems, dynamic epistemic logic, and neuro-symbolic AI. My research interest lies in leveraging formal methods and system dynamics to model complex systems.
Currently, I am completing my M.Sc. Thesis on automated test case generation using formal methods and LLMs, while working as an Engineer at Airbus.
Selected Publications
TempTPI: Informer-Based trajectory prediction for maritime vessels
K. Ferneding, V. Lietavcova, A. M. Blachowiak, P. Heiselberg
Proceedings of IEEE IGARSS 2026 (In Press) · [Preprint (PDF)]
K. Ferneding, V. Lietavcova, A. M. Blachowiak, P. Heiselberg
Proceedings of IEEE IGARSS 2026 (In Press) · [Preprint (PDF)]