Alexander Pluska

Alexander Pluska is a PreDoc Researcher at TU Wien's Faculty of Informatics, affiliated with the Department of Formal Methods in Systems Engineering. He holds an MSc and is engaged in research at the intersection of formal methods, logic, and machine learning. His work includes projects like StruDL (2023–2027) and NanoX (2024–2028), focusing on logic embeddings, graph neural networks, and knowledge representation.

He teaches courses such as Formal Methods in Computer Science (UE/VU), Program and System Verification (VU), and a project on Trends in Cloud Computing (PR). His research interests emphasize automated deduction, intuitionistic logic, and applying formal methods to AI systems. Recent work includes logical distillation of GNNs and embedding intuitionistic logic into classical frameworks.

Alexander contributes to academic events like the ICML 2024 Workshop on Mechanistic Interpretability and the International Conference on Principles of Knowledge Representation and Reasoning (KR 2024).