Short Bio

Alexander Gebhard Beiser is a PhD student at TU Wien, specializing in Artificial Intelligence (AI) for Air Traffic Management. He holds a BSc degree (2023) in Software Engineering and a Master’s degree (2025) in Logic and Computation from TU Wien. His work before his PhD focused on enhancing the symbolic AI framework Answer Set Programming, where he had already published papers. In this context, he did research internships at the University of Potsdam (2022 and 2023) and was a student researcher at the DBAI research group at TU Wien. In 2024, he did an exchange at EPFL in Lausanne, Switzerland, and was admitted to the highly competitive Summer@EPFL program. At EPFL, he was part of the laboratory of computational neuroscience. There, his work focused on the reconstruction of neural networks.

During his PhD, he participated in the Engage 2 Winter School 2025 in Belgrade and is looking forward to developing Neurosymbolic AI techniques for Air Traffic Management.

Website: https://www.beiser.eu

PhD Project - AI for Air Traffic Management

Supervised by Stefan Woltran and Nysret Musliu

Air Traffic Management (ATM) faces increasing complexity due to growing aircraft traffic and the integration of drones while also struggling with a shortage of air traffic controllers. Alexander Beiser’s research at TU Wien, under the supervision of Stefan Woltran and Nysret Musliu, seeks to optimize air traffic operations by integrating trustworthy AI systems into ATM. The research focuses on explainable and neurosymbolic AI, to enhance efficiency and safety.

The research project is in collaboration with Georg Trausmuth from Frequentis.

Publications and Conferences

Conference Proceedings

• Beiser, M. Hecher, K. Unalan, and S. Woltran, “Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting,” in IJCAI24, K. Larson, Ed., International Joint Conferences on Artificial Intelligence Organization, 2024, pp. 3250–3258. doi: 10.24963/ijcai.2024/360.
• Beiser, S. Hahn, and T. Schaub, “ASP-driven User-interaction with Clinguin,” in ICLP24, P. Cabalar, F. Fabiano, M. Gebser, G. Gupta, and T. Swift, Eds., ser. Electronic Proceedings in Theoretical Computer Science, vol. 416, Open Publishing Association, 2024, pp. 215–228. doi: 10.4204/EPTCS.416.19.

Presentations

• “Bypassing the ASP Bottleneck Hybrid Grounding by Splitting and Rewriting”. University of Klagenfurt, Austria. November 25, 2024
• “Bypassing the ASP Bottleneck Hybrid Grounding by Splitting and Rewriting”. TU Dresden, Online. November 14, 2024
• “Bypassing the ASP Bottleneck Hybrid Grounding by Splitting and Rewriting”. IJCAI24, Jeju, South Korea. August 7, 2024
• “On the ASP Grounding Bottleneck Over Aggregates Efficiently Grounding via Rewriting & Solving”. TAASP23, University of Potsdam, Germany. November 21, 2023