Kevin Ferneding
M.Sc. in Computer Science & Engineering
Focus: Multi-Agent Systems & Algorithmic Decision-Making
About
I hold an M.Sc. in Computer Science & Engineering from the Technical University of Denmark (DTU), specializing in multi-agent systems, epistemic logic, and neuro-symbolic AI. My research interest lies in leveraging formal methods and dynamic approaches to model complex mechanisms. Bonus points if it involves social or economic components, like preference aggregation or resource allocation problems.
I recently completed my M.Sc. Thesis on automated test case generation using formal methods and LLMs, and currently work 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)