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 dynamic approaches 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)
K. Ferneding, V. Lietavcova, A. M. Blachowiak, P. Heiselberg
Proceedings of IEEE IGARSS 2026 (In Press)