معرفی
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).
Alexander Pluska در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- RRoman KuznetsUniversity of Amsterdam · پژوهشگر
- AAlexander BeiserVienna University of Technology · پژوهشگر
- MMantas SimkusVienna University of Technology · استادیار
- GGiorgio CignaraleVienna University of Technology · پژوهشگر
- ZZeynep Gözen Saribatur YamanVienna University of Technology · پژوهشگر
- AAlexander De KlerckKU Leuven · پژوهشگر