Stefan Woltran is a Full Professor in the Databases and Artificial Intelligence department at TU Wien. He serves as Vice Dean of Academic Affairs for the Informatics Master program and leads the Research Unit for Databases and Artificial Intelligence. His research focuses on logic-based AI, including Propositional Logic, Nonmonotonic Reasoning, Argumentation frameworks, Knowledge Representation, and Logic Programming. He coordinates the Double-Degree Program Logic and Computation. His research projects include analyzing formal properties of logic-based AI approaches, complexity analysis, and developing algorithms via logic and dynamic programming. Notable projects include the HYPAR and REVEAL-AI initiatives exploring abstract argumentation and AI problem-solving. He has contributed to over 150 publications since 2001, focusing on argumentation frameworks, computational complexity, and formal methods. Woltran teaches courses such as Abstract Argumentation, Formal Methods in Computer Science, and Theoretical Computer Science. His work integrates theoretical advancements with practical solver development, such as the ASPARTIX system for argumentation tasks. He actively participates in international conferences and competitions in computational argumentation, emphasizing the application of formal methods to real-world problems.
Joost-Pieter Katoen is a full Professor at RWTH Aachen University and Head of its Computer Science Department since 2012. He also holds a part-time (20%) Professorship at the University of Twente . His research focuses on model checking , probabilistic verification , formal semantics , and software verification , with applications in aerospace systems. His work has led to significant tools like MRMC (probabilistic model checker), COMPASS (AADL analysis tool-set), and libalf (learning automata library). He has authored over 18 international projects (total €5.2 million) and graduated 12 PhD students. Scientific Awards : Member, German National Academy of Sciences (Leopoldina), 2024 ACM Fellow, 2020 ERC Advanced Grant, 2018 Honorary doctorate, Aalborg University, 2017 Teaching Award, RWTH Aachen, 2010 Philips Early Career Development Award, 1988 Research Trends (from articles): His recent work spans probabilistic program verification , quantitative game theory , Markov chain analysis , and parameter synthesis for stochastic systems, with applications in AI, quantum computing, and fault tree analysis. Leadership & Service : Katoen co-founded the QEST conference , chairs ETAPS steering committee, and has led numerous program committees (CONCUR, TACAS, QEST). He has served on editorial boards and organized conferences/seminars globally.
Ulrich Schmid is a Full Professor and Head of the Research Unit for Embedded Computing Systems at TU Wien. He holds a position in the Faculty of Informatics and leads the department of Embedded Computing Systems (E191-02). His roles include Curriculum Coordinator for the Bachelor and Master programs in Computer Engineering, as well as the Excellence Program Bachelor with Honors. He is also the Chair of the Curriculum Commission for Computer Engineering and a Substitute Member of the Informatics Commission. His research focuses on fault-tolerant distributed algorithms, digital integrated circuits, and topology-based approaches to distributed systems. He coordinates major projects such as the FWF-funded DMAC (2019–2024) and ByzDEL (2020–2025), which integrate topological semantics and hybrid delay models for robust hardware design and distributed system analysis. Schmid has contributed to groundbreaking work in Byzantine fault tolerance, epistemic logic for system recovery, and real-time scheduling through collaborations with researchers like Chatterjee, Függer, and Rajsbaum. Notable awards include the 2018 Edsger W. Dijkstra Prize and the 2021 Principles of Distributed Computing Doctoral Dissertation Award. His research also bridges formal verification techniques with physical hardware implementations, exemplified by projects like HEX (a Byzantine-tolerant clock distribution system) and the Involution tool for timing analysis. Schmid actively contributes to academic governance, advancing rigorous education and research standards in computer engineering. His advising and grant work involve mentoring on fault-tolerant architectures and securing funding from agencies like FWF and the European Commission. Labs and teams under his leadership include the Embedded Computing Systems group, specializing in hardware-software co-design for dependable systems-on-chip, and collaborations with institutions like GSI Helmholtzzentrum and the University of Amsterdam.
Gabriel Ciobanu is a Professor at Alexandru Ioan Cuza University of Iasi, Romania, and a Senior Researcher at the Romanian Academy, Iasi. He has held various academic positions internationally including as a Visiting Professor at Newcastle University (UK) from 2010-2015 and as a Research Fellow/Professor at the National University of Singapore (2000-2004). His educational background includes PhD studies at A.I.Cuza University and Edinburgh University (1990-1994) under the mentorship of Robin Milner, and his undergraduate studies in the Faculty of Mathematics and Computer Science at A.I.Cuza University of Iasi (1977-1982). Professor Ciobanu's research focuses on Membrane Computing and Natural Computing , Distributed Systems Models including process calculi with emphasis on semantics, behavioral equivalences, logics, and verification. He has made significant contributions to bridging membrane computing and process calculi, and to the Foundations of Mathematics and Computer Science through his work on Finitely Supported Mathematics. His research has applications in theoretical computer science, formal methods, and computational biology. His publication record shows a consistent research trajectory focusing on theoretical computer science with applications to natural computing, membrane systems, process calculi, and finitely supported structures. Recent work (2023-2025) continues to explore these areas with increasing focus on multi-agent systems, continuation semantics, and applications to medical systems and reaction systems. Scientific Awards and Recognition 2013 Grigore Moisil Award, Romanian Academy (as co-author of "Mobility in Process Calculi and Natural Computing", Springer) 2010-2013 Member of the National Research Council (CNCS) in Romania 2008-2010 Royal Society of London Joint International Project (Newcastle University, School of Computing) 2004 Octav Mayer Award for Scientific Achievements, Romanian Academy of Sciences, Iasi branch 2000 Grigore Moisil Award of the Romanian Academy of Sciences for results in Theoretical Computer Science 1995-1996 Japan Society for the Promotion of Science Fellowship (Tohoku University and Kyoto University) 1994 DAAD Research Fellowship (Institute of Computer Science, University of Kiel) 1991-1992 Royal Society of London and Romanian Academy Fellowship (University of Edinburgh) Professor Ciobanu has supervised 8 PhD students and numerous master's students. He has served as Editor-in-Chief of the Scientific Annals of Computer Science since 2006 and has been a guest editor for special issues of several international journals. He has collaborated with researchers from numerous countries including UK, France, Netherlands, Spain, Italy, Russia, China, Singapore, and India. He has been involved in various research projects and has spent research periods at prestigious institutions worldwide including Edinburgh University, Universite de Paris XI, CWI and VU Amsterdam, Tohoku and Kyoto University, National University of Singapore, and Newcastle University.
Aniello Murano is a Professor in Computer Science at the Department of Electrical Engineering and Information Technology of the University of Naples Federico II. He serves as Scientific Director of the ASTREA (Automated Strategic REAsoning) Laboratory and has been actively involved in numerous research projects including H2020-MSCA project SEAL as Principal Coordinator and PNRR Research Unit Coordinator on Resilient Strategic Reasoning in AI (2023-2025). His primary research interests focus on Artificial Intelligence, Formal Aspects for Strategic Reasoning in Multi-Agent Systems under Perfect and Imperfect Information, Specification, Verification, and Synthesis of Reactive Systems, Model Checking and Module Checking, Formal Languages, Automata Theory, Real-time Systems, Pushdown and Hierarchical Systems, Temporal and Modal Logics, Logics for Strategic Reasoning in AI, Game Theory, Parity Games, Solution Concepts, and Automated Mechanism Design. His work bridges theoretical computer science with practical applications in AI systems. Murano has published extensively in top-tier venues, with recent publications spanning KR, IJCAI, AAAI, AAMAS, and other premier conferences. His research shows strong trends in strategic reasoning frameworks, verification techniques for multi-agent systems, and applications of game theory to mechanism design. He has made significant contributions to Strategy Logic and its extensions. JPMorgan Faculty Research Award 2022 Best Paper Award PRIMA 2015 Vigevani Research Project Prize 2010 In KR Top 100, best AI-2000 world researchers Italian Scientific Abilitation as Full Professor in Engineering Computer Science (March 2018) Italian Scientific Abilitation as Full Professor in Computer Science (April 2017) Royal Society Award 2016 Murano has supervised numerous PhD students including Silvia Stranieri, Antonio Di Stasio, Vadim Malvone, and Giuseppe Perelli. He has served as Program Chair for major conferences including ECAI 2025 (Program co-chair), KR 2024 (Area chair), and CSL 2024. His research has been supported by significant grants including Horizon 2020 projects, JPMorgan funding, and Italian national research programs. He leads the ASTREA Laboratory focused on automated strategic reasoning and has been instrumental in establishing collaborative research initiatives with institutions worldwide.
Ezio Bartocci is a Full Professor in Formal Methods for Cyber-Physical Systems Engineering at TU Wien's Faculty of Computer Science. He leads the Trustworthy Cyber-Physical Systems (TrustCPS) Group within the Cyber-Physical System Research Unit. His research focuses on formal verification, probabilistic systems, and runtime monitoring, with applications in autonomous systems, safety-critical software, and embedded systems. Roles & Affiliations: Full Professor, TU Wien (100% research focus) Principal Investigator in projects funded by EU, WWTF, FFG, and industry partners Chair of the Curriculum Commission for Computer Engineering Editor-in-Chief of the Formal Methods in Outer Space series Research Interests: Formal methods for CPS: verification, synthesis, and runtime monitoring Probabilistic programming and loop analysis Temporal logic specifications and mining Automated tools for safety-critical systems (e.g., Polar, MoonLight) Applications in healthcare, robotics, and autonomous vehicles Key Projects: ProbInG (2020–2025): Analyzing probabilistic loops ARTIST (2021–2026): AI and robotics safety EdgeAI (2022–2025): Optimizing embedded processing TAIGER (2023–2027): Trustworthy AI and CPS Grants & Funding: €10M+ secured from EU Horizon 2020, WWTF, FFG, and industry partners like TTTech Auto AG. Academic Leadership: Teaches courses on logical methods, CPS engineering, and scientific research at TU Wien. Supervises PhD students in formal methods and CPS domains. Tools Developed: Polar (probabilistic loop analyzer), MoonLight (spatio-temporal monitoring), and FIM (fault injection tool).
Davide Solda is a Researcher in the Knowledge-Based Systems group at Vienna University of Technology. His work focuses on formal methods in artificial intelligence, particularly temporal logic and knowledge representation. Research interests include: computational logic, multi-agent systems, epistemic planning, and automated reasoning techniques. His investigations bridge theoretical foundations with practical applications in system verification. Recent publications demonstrate consistent focus on temporal extensions of logical frameworks, with progressive applications in multi-agent scenarios and runtime verification contexts.
Konstantin Schekotihin is an Associate Professor at the Institute of Artificial Intelligence and Cybersecurity , part of the Faculty of Technical Sciences at Alpen-Adria-Universität Klagenfurt. His research focuses on AI-driven solutions for semiconductor manufacturing, failure analysis, and multi-agent systems. He specializes in reinforcement learning, scheduling optimization, and neuro-symbolic AI applications. His work bridges theoretical advancements with industrial challenges such as semiconductor fab automation and real-time process monitoring. He has collaborated with organizations like the Austrian Research Promotion Agency (FFG) and Infineon Technologies. Key research areas include: AI for semiconductor failure analysis workflows Reinforcement learning in manufacturing scheduling Multi-agent systems in immersive VR environments Neuro-symbolic AI for defect routing Predictive modeling for equipment maintenance Recent projects involve optimizing ion implantation processes, developing FA ChatBots, and improving social presence in VR simulations. His work emphasizes scalability, explainability, and real-world applicability of AI systems.
Andreas Holzinger is a University Professor for Digital Transformation for Smart Agriculture and Forestry at the Institute of Forest Engineering, Department of Agricultural Sciences, University of Natural Resources and Life Sciences Vienna (BOKU). He pioneered interactive machine learning with human-in-the-loop frameworks to advance trustworthy AI, focusing on explainability, robustness, and ethical alignment with human values. His work bridges artificial intelligence with forestry technology, ensuring safety, privacy, and sustainability. 2022: University Professor at BOKU 2021: IFIP Fellow 2020: ELLIS Member 2019: Visiting Professor at University of Alberta 2019: Academia Europaea Full Member His research interests span Human-Centered AI , Explainable AI , Digital Transformation in Forestry , and Trustworthy AI . He develops frameworks where humans collaborate with AI systems to enhance decision-making in forest operations, focusing on transparency and controllability. His recent publications emphasize Interactive Machine Learning and Explainable AI in forestry contexts, including cable corridor planning, danger zone detection, and sensor-based data interpretation. Articles explore 3D point cloud analysis , human-robot collaboration , and contextual counterfactuals to improve AI systems' reliability. Scientific Awards: Most influential Paper Award (2025) Fellow of IFIP (2021) Member of ELLIS (2020) Full Member, Academia Europaea (2019) He supervises theses on Forestry Technology , Plant Development , and Stress Resilience , mentoring students working on smart sensors, genetic analysis, and AI applications in agricultural systems. His collaborations span institutions in Austria, Canada, Finland, Italy, New Zealand, and the USA.
Guo Yike is the Provost of The Hong Kong University of Science and Technology (HKUST) and concurrently a Chair Professor in the Department of Computer Science and Engineering. He holds a PhD in Computational Logic from Imperial College London (1994) and a first-class honours degree in Computing Science from Tsinghua University (1985). His academic leadership roles include Director of the Data Science Institute at Imperial College London (2014–2020), Honorary Dean of Shanghai University's School of Computer Science (since 2020), and Vice President (Research and Development) at Hong Kong Baptist University (2020–2022). Research interests focus on machine learning, data mining, and large-scale applications in healthcare, finance, and environmental science. He pioneered informatics systems for biology, geophysics, and social media, emphasizing ethical AI and multimodal reasoning. Notable awards include Royal Academy of Engineering Fellowship (2018), ACM SIGMM Best Open Source Software Award (2017), and recognition as one of China's Top 10 Data Scientists (2016). Industry collaborations include leading startups like InforSense and TranSMART, working with GSK, Huawei, and BBC. Editorial roles include editor-in-chief of Annual Reviews of Data Sciences and deputy editor-in-chief of Machine Intelligence Research . His work bridges academia and industry, driving innovation in AI ethics, cloud computing, and interdisciplinary science.
Sanja Lukumbuzya is a PostDoc Researcher at the Knowledge-Based Systems group (E192-03) of Vienna University of Technology. Her work bridges formal logic and practical data systems, focusing on ontology-mediated data management, description logics, and business process challenges. Research Interests Ontology-Based Data Access (OBDA) Description Logics and Datalog Rewriting Process Mining and Workflow Analysis Hybrid Reasoning Systems Incomplete Data Handling Computational Complexity in Knowledge Bases Affiliations Vienna University of Technology, Austria Researcher in projects KtoAPP (2018–2025) and OMEGA (2017–2022) Publications Trends Her recent work addresses algorithmic complexity in expressive logics (2024), coNP expressiveness in ontology queries (2023), and practical BPM challenges (2023). Earlier studies focused on bounded predicates (2021), hybrid ASP-ontology frameworks (2020), and dishonesty modeling (2018).
Gernot Steindl is a PostDoc Researcher at the Automation Systems group (E191-03) at Technische Universität Wien. His research focuses on digital twins, industrial IoT, and semantic technologies for cyber-physical systems. Research domains include: Semantic interoperability in industrial automation Model-based systems engineering Energy management systems Safety and security integration Recent publications demonstrate developments in semantic event-handling frameworks, OPC UA integration, and digital twin architectures. Research consistently applies semantic web technologies to enhance system interoperability and explainability in industrial contexts. Supervised student research includes work on multi-agent systems, fault detection models, and automation system interfaces.
Jürgen Dorn is a retired Associate Professor at the Technische Universität Wien (TU Wien), affiliated with the Faculty of Informatics and the Institute of Information Systems. His career includes roles at the Christian Doppler Laboratory for Expert Systems and leadership of the Virtual Enterprises group at the E-Commerce Competence Center. He holds a PhD in knowledge-based real-time planning from TU Berlin (1989). Research focuses on Business Process Management, Knowledge & Competence Management, Service Science, E-Commerce, and Artificial Intelligence. Notable projects include the JIRA Process Mapper (2017-2018), ISIS Papyrus Process Mining System evaluation (2008), and development of the MOVE service composition framework. His work addresses trust in digital services, service classification, and tourism planning. Publications span trust models for e-markets, semantic web technologies, and scheduling systems. He advises numerous students on topics like case-based reasoning, digital badges, and service-oriented architectures. Awards section is currently empty. Grants and collaborations include projects with Catworkx GmbH and ISIS Information Systems GmbH. Active in teaching, including a 2025S Research Seminar for Ph.D. Students.
Giorgio Cignarale is a PreDoc Researcher at TU Wien's Faculty of Informatics, within the Department of Theory and Logic. His research focuses on integrating formal logic with distributed systems, particularly in fault-tolerant design and epistemic communication. He is affiliated with projects funded by the Austrian Science Fund (FWF), including LoDEx (2024–2026) and ByzDEL (2020–2025). His work bridges philosophical concepts like a priori belief with practical system design, emphasizing secure agent communication and self-recovery mechanisms. Key contributions include frameworks for minimizing state corruption in distributed systems and analyzing knowledge interpretation in multi-agent environments. Research interests span formal methods, epistemic logic, and Byzantine fault tolerance. Recent publications address belief updates in autonomous agents and communication protocols that prevent information leakage. His interdisciplinary approach combines computer science with philosophical logic to enhance system reliability. Giorgio collaborates on grants such as the FWF-funded LoDEx project, which explores leak-free communication models, and ByzDEL, investigating deontic reasoning in distributed systems. No formal awards are listed, though his contributions reflect active engagement in foundational research. He is part of the Theory and Logic research group at TU Wien, contributing to both theoretical advancements and applied system design.
Thomas Eiter is a Full Professor at the Vienna University of Technology (TU Wien) in the Department of Knowledge-Based Systems, Faculty of Informatics. His research focuses on artificial intelligence, knowledge representation and reasoning, logic programming, computational logic, and neurosymbolic AI integration. He leads projects in declarative problem-solving, intelligent agent systems, and stream reasoning frameworks like LARS. Eiter has contributed to foundational work in answer set programming (ASP), algebraic reasoning, and their applications in scheduling, robotics, and real-time data processing. He has extensive international collaborations, including EU-funded projects like HumanE-AI-Net and the Austrian Science Fund (FWF) initiatives. His work emphasizes bridging symbolic AI with modern machine learning techniques, particularly in visual question answering and neural-symbolic systems. Eiter has supervised numerous PhD students and maintains active roles in academic leadership, including editorial boards of journals like Theory and Practice of Logic Programming . Key contributions include development of the DLVHEX system for hybrid knowledge representation, optimization frameworks for ASP, and methodologies for stream reasoning in dynamic environments. His research also addresses ethical AI through projects like the TAIGER initiative, focusing on training AI agents with ethical rules.
