Andreas Rauber is an Associate Professor in the Department of Data Science at Technical University of Vienna. He serves as Curriculum Coordinator for Bachelor and Master programs in Business Informatics and Data Science, and chairs the Curriculum Commission for Business Informatics. His research focuses on Information Systems Engineering, Logic and Computation, and Visual Computing, addressing challenges in data management, digital preservation, and reproducibility in e-science. He leads projects like OS Trails and FAIR-AI, emphasizing FAIR principles and trustworthy research infrastructures. Rauber has contributed to over 150 publications, including works on data citation frameworks, adversarial ML defenses, and reproducibility in IR. His work bridges technical innovation with policy, exemplified through roles in the EOSC Support Office Austria and RDA Austria initiatives. Key projects include establishing FAIR data practices across universities and advancing digital preservation through repositories like DBRepo. He coordinates international collaborations, such as the EU-funded EOSC-Life and EGI Advanced Computing projects. His teaching spans courses in machine learning, information retrieval, and research methods, fostering next-generation data scientists.
Hojjat Adeli is an Academy Professor at The Ohio State University (OSU) with courtesy appointments in the Departments of Neurology, Neuroscience, and Biomedical Informatics. He has held the Abba G. Lichtenstein Professorship in Infrastructure Engineering (2003-2013) and served as Editor-in-Chief of Computer-Aided Civil and Infrastructure Engineering for 25 years. Academy Professor, OSU (2018–present) Professor of Neurology, Neuroscience, and Biomedical Informatics (by courtesy, since 2015-2002) His research interests span interdisciplinary domains at the intersection of engineering and neuroscience, focusing on: Computational neuroscience and neurocomputing Biomedical signal processing (particularly EEG-based diagnostics) Machine learning and computational intelligence applications Smart infrastructure systems and structural engineering Optimization algorithms in civil and biomedical contexts His research trends demonstrate a synergy between: Neural network development for medical diagnostics Wavelet and chaos theory in epilepsy detection Computational intelligence for structural engineering Hybrid models integrating fuzzy logic and genetic algorithms Scientific awards and honors include: Multiple IEEE Fellowships and AAAS Fellow Thomson Reuters Highly Cited Researcher in Engineering and Computer Science Hojjat Adeli Awards for Neural Systems and Innovation in Computing Elections to international academies in Poland, Lithuania, and Spain Scott Award for Engineering Education and Distinguished Member ASCE
Erich Schweighofer serves as Associate Professor at the University of Vienna within the Institute for European, International and Comparative Law, specifically affiliated with the Department of International Law and International Relations. His research activities are centered at the Juridicum building (Schottenbastei 10-16, 1010 Vienna), where he maintains an active office presence with scheduled consultation hours. His scholarly focus spans Legal Informatics , Artificial Intelligence and Law , Data Protection , and Legal Knowledge Representation , with particular emphasis on explainable AI systems for legal contexts and formal methodologies for translating legal norms into computational frameworks. This interdisciplinary work bridges jurisprudence and computer science through projects examining biometric regulation, autonomous vehicle governance, and natural language processing applications in legal domains. Analysis of his 2021-2024 publications reveals consistent thematic progression toward operationalizing legal principles in AI systems, with increasing focus on transparency mechanisms, temporal logic for dynamic regulations, and cross-jurisdictional compliance challenges. His work predominantly appears in the International Legal Informatics Symposium (IRIS) proceedings and JURIX conferences, reflecting deep engagement with the legal informatics community. Professor Schweighofer leads a dedicated research team including project assistants Mag. Jessica Fleisch, Mag. Jonas Pfister, Felix Schmautzer, and Mag. Jakob Zanol, while actively participating in the University of Vienna's Working Group on Legal Informatics (Arbeitsgruppe Rechtsinformatik). His collaborative approach extends to organizing the biennial IRIS symposium, which has established itself as a cornerstone event for European legal informatics scholarship since 1998.
Christian Fermüller is an Associate Professor in the Department of Theory and Logic at the Faculty of Informatics, Technische Universität Wien (TU Wien). His research focuses on theoretical computer science, artificial intelligence, automated deduction, and formal logic systems. He specializes in fuzzy logic, proof theory, and non-classical logics, with contributions to semantic games, dialogue systems, and computational models of reasoning under vagueness. **Research Interests:** Foundations of fuzzy logic and many-valued logics Proof theory and analytic calculi Game-based semantics for non-classical logics Formal models of judgment aggregation and argumentation theory Applications in automated reasoning and computational intelligence **Grants & Projects:** Austrian Science Fund (FWF) projects on graded deontic reasoning (2025–2027), semantic games and analytic calculi (2019–2023), and fuzzy logic foundations (2008–2013) Co-PI of the LogICCC initiative exploring contextualism and fuzzy logic **Teaching:** Courses include logical methods in computer science, quantum computing, and theoretical computer science. Supervised over 15 PhD and master’s theses on topics ranging from semantic games to argumentation frameworks. **Affiliations:** Active in the LogiCS research group and regularly organizes seminars on logic and computation.
Nelson Nicolas Higuera Ruiz is a PreDoc Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics' Knowledge-Based Systems research group. His work bridges logic programming and deep learning for explainable AI. Research Focus: Neurosymbolic AI, Visual Question Answering (VQA), Answer Set Programming (ASP), and hybrid reasoning systems Projects: Leads optimization research in the LCS (2017–2025) project, developing neurosymbolic approaches for intelligent systems Key Contributions: Pioneering adaptive large-neighbourhood search algorithms for ASP optimization, modular neurosymbolic architectures, and contrastive explainability frameworks for VQA Collaborations: Active in international workshops and conferences including IJCAI, AAAI, and CLeaR, frequently collaborating with researchers like Thomas Eiter and Johannes Oetsch Publications: Focus on neurosymbolic integration, optimization algorithms, and explainability across AI, logic programming, and computer vision domains
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.
Hannes Leitgeb is the Chair of Logic and Philosophy of Language and an Alexander von Humboldt Professor at Ludwig-Maximilians University Munich, where he also founded and directs the Munich Center for Mathematical Philosophy . His research spans logic, epistemology, philosophy of science, and philosophy of mathematics, with a focus on formal models of belief, Bayesianism, and Carnapian foundations. Education: Dual PhDs in Philosophy and Mathematics from the University of Salzburg. Research Trends: Integrates mathematical rigor into philosophical analysis, particularly in belief stability, counterfactuals, and identity criteria. His work bridges classical epistemology with computational approaches. Editorial Leadership: Served as Editor-in-Chief of Erkenntnis , Coordinating Editor of Review of Symbolic Logic , and Subject Editor for the Stanford Encyclopedia of Philosophy . Scientific Awards: Elected member of L'Académie Internationale de Philosophie des Sciences (2011) Alexander von Humboldt Professorship (2010) Friedrich Wilhelm Bessel Research Award (2007) Philip Leverhulme Prize (2007) Leitgeb has delivered over 168 invited talks since 2005 and published 74 articles, including in top journals like Mind , The Philosophical Review , and Nous . His declined offers from prestigious institutions (Stanford, UC Irvine) underscore his academic prominence.
Axel Polleres is a full professor at the Institute for Data, Process and Knowledge Management in Vienna University of Economics and Business (WU Wien). He leads the department of Information Systems and Operations Management while maintaining active research in knowledge graphs, semantic web technologies, and ontology engineering. PhD and Habilitation from Vienna University of Technology Former positions at University of Innsbruck, Universidad Rey Juan Carlos, DERI Ireland, and Siemens AG Co-chair of W3C SPARQL working group Editorial board member for Semantic Web Journal and IJSWIS His research focuses on: Querying and reasoning over ontologies Graph schema languages (SHACL, SPARQL) Wikidata constraint formalization Ontology reuse in collaborative platforms Crisis management knowledge graphs FAIR data principles implementation Recent publications analyze knowledge graph evolution, constraint validation methodologies, and semantic web standardization efforts. Key topics include: OWL/RDF interoperability solutions Unit conversion systems for Wikidata Partition-based query processing frameworks Network resilience analysis for urban planning Open data platform discovery tools Temporal analysis of collaborative knowledge graphs He has co-organized major conferences like ISWC2023 and ESWC workshops while maintaining active roles in European research projects. Current work involves spatiotemporal knowledge graphs for city resilience and semantic web infrastructure development.
Dr. Adel Aazami is an Assistant Professor at the Institute of Transport Economics and Logistics at Vienna University of Economics and Business (WU Vienna) since 2023. His academic journey began with a B.Sc. in Industrial Engineering from University of Tehran (2010-2014), followed by an M.Sc. (2014-2016) and Ph.D. (2016-2021) from Iran University of Science and Technology (IUST), Tehran. Prior to his current position, he worked as a Postdoctoral Researcher at Sharif University of Technology (2021-2022) and was a Visiting Researcher at the University of Toronto (2020). His educational background includes: Ph.D. in Industrial Engineering (2016-2021) - Iran University of Science and Technology (IUST), Tehran, Iran M.Sc. in Industrial Engineering (2014-2016) - Iran University of Science and Technology (IUST), Tehran, Iran B.Sc. in Industrial Engineering (2010-2014) - University of Tehran, Tehran, Iran Dr. Aazami's research spans multiple interconnected domains within operations research and supply chain management. His primary focus areas include Operations Research and Optimization, Supply Chain and Logistics, Production and Distribution/Transportation Planning, Competition and Game Theory, Stochastic Programming, and Decomposition Algorithms. His work demonstrates a strong emphasis on developing mathematical models and optimization algorithms for complex supply chain problems, particularly those involving perishable goods, competitive environments, and sustainability considerations. He has made significant contributions to integrating environmental factors into traditional logistics problems and developing robust optimization approaches for supply chain networks. Analysis of Dr. Aazami's publication record reveals a consistent trajectory of increasingly sophisticated research in supply chain optimization. His work shows a clear progression from foundational mathematical optimization techniques to increasingly complex integrated problems involving multiple stakeholders, uncertainty, and environmental considerations. A notable trend is his focus on perishable products within supply chains, developing models that account for limited product lifetimes while optimizing across multiple echelons of the supply chain. More recently, his research has expanded to incorporate green logistics considerations, developing algorithms that balance economic and environmental objectives in transportation and distribution problems. His notable scientific achievements include: Winner of the 'Best Student' award among nationwide students evaluated by the Iranian Ministry of Science (2020) Winner of the Iranian Nobel Prize (known as the Alborz National Foundation Prize) (2019) Winner of the Best Student Award at IUST (2018) Winner of the Top Researcher Award at IUST (2018) Annual Awards of the National Elites Foundation Iran (2015-2020) Dr. Aazami has extensive teaching experience across multiple Iranian universities including Tehran University, Amirkabir Technical University, Isfahan University, Yazd University, Zanjan University, Damghan University, Abrar University and Iran Technical University. His peer review activities include reviewing for prestigious journals such as Soft Computing, Expert Systems with Applications, and Annals of Operations Research. While specific grant information isn't detailed in the provided text, his research output suggests active engagement with complex optimization problems relevant to transportation and logistics industries. At WU Vienna, Dr. Aazami is part of the research team at the Institute of Transport Economics and Logistics, working alongside other faculty members including Prof. Kummer and Prof. Wakolbinger. His research integrates theoretical optimization methods with practical applications in transportation and logistics, contributing to the institute's focus on sustainable and efficient supply chain solutions.
Robert Peharz is an Assistant Professor at Graz University of Technology, where he leads research at the Institute of Machine Learning and Neural Computation. His work focuses on probabilistic machine learning, with particular emphasis on tractable probabilistic models, causality, and neurosymbolic AI. Education and Career PhD from TU Graz (Austria) in 2015 Postdoc at Medical University of Graz Postdoc and Marie-Curie Individual Fellow at University of Cambridge (2017-2019) Assistant Professor at Eindhoven University of Technology (2019-2021) Current: Assistant Professor at Graz University of Technology Research Interests Peharz's research spans multiple areas of artificial intelligence with a focus on making probabilistic reasoning both theoretically sound and practically efficient. His work addresses fundamental challenges in tractable probabilistic inference and learning, probabilistic circuits as a unified framework for deep generative models, Bayesian causal inference, and neurosymbolic AI combining sub-symbolic and symbolic approaches. His research has applications in cybersecurity, healthcare, and energy systems. Research Projects VENTUS (2024-present): Physics-informed, probabilistic and causal machine learning for wind energy systems NEO DNA (2023-present): DNA-based data storage systems using computer vision and probabilistic ML VanillaFlow (2023-present): AI-guided development of novel vanillin-based molecules for redox flow batteries Bilateral AI : Cluster of Excellence focused on Broad AI combining sub-symbolic and symbolic AI approaches Awards and Recognition Finalist for TUG's Excellent Teaching Award (2023) for all 3 of his courses Marie-Curie Individual Fellow at University of Cambridge Academic Service Peharz is actively involved in the academic community through conference organization and reviewing: Area Chair: UAI (2022), ECML/PKDD (2022) Senior Committee Member: UAI (2021), IJCAI (2019, 2020) Reviewer for major conferences including ICML, NeurIPS, AAAI, IJCAI-ECAI Teaching and Mentorship Peharz supervises multiple PhD students working on diverse projects at the intersection of machine learning, causality, and neurosymbolic AI. His current advisees include Sepideh Adamiat, Irina Dobrianski, Johannes Exenberger, Giacomo Di Gobbi, Tim d'Hondt, Christian Toth, and Thomas Wedenig. Previous students include Alvaro Correia, Martin Trapp, and David Montalvan.
Xavier Parent is a Researcher in the Department of Theory and Logic at Technische Universität Wien (TU Wien). His work focuses on deontic logic, normative reasoning, and proof theory, with applications to AI and legal systems. He leads the LoDEx project (2024–2026) and previously contributed to the Lisa Meitner grant (2021–2024) and TICAMORE project (2017–2022). His research emphasizes formal verification of normative systems using higher-order logic (HOL) and explores topics like conditional obligations, dyadic deontic structures, and automated reasoning. Key projects include: LoDEx: Developing logical methods for deontic explanations Lisa Meitner Grant: Investigating permissive norms and regulative norms TICAMORE: Embedding dyadic deontic logic in HOL His research interests span: Formal semantics of normative systems Automated theorem proving for deontic logics Interactions between betterness orderings and obligations Publications highlight contributions to journals like Journal of Philosophical Logic and Journal of Applied Non-Classical Logics , with conference presentations at DEON, PRIMA, and Dagstuhl Seminars. He advises students like David Pichler on extensionality in normative systems.
Johann Eder is a full professor for Information and Communication Systems at the Department of Informatics Systems, University of Klagenfurt, Austria, and currently serves as Deputy Head of Department. He previously held positions at the Universities of Linz, Hamburg, Vienna, and Klagenfurt, and was Vice President of the Austrian Science Funds (FWF) from 2005-2013. He was also a visiting scholar at AT&T Shannon Labs, NJ. Educational Background: Diplom-Ingenieur, University of Linz Doctor of Technical Sciences, University of Linz Johann Eder's research focuses on databases, information systems, and data management for medical research, including temporal information modeling, process evolution, and workflow systems. His work spans temporal data warehousing, exception handling in workflows, and application interoperability, with a particular emphasis on privacy and quality in medical data lakes and federated biobanks. Recent publications highlight trends in temporal reasoning for business processes, medical data quality, and service composition optimization. His editorial roles include positions at ACM Transactions on Database Systems and IEEE Transactions on Knowledge and Data Engineering . He leads the Information and Communication Systems Research Group at AAU, contributing to projects like federated biobank integration and blockchain-based smart contracts.
Gerhard Friedrich is a Full Professor at the University of Klagenfurt, leading the Institute for Artificial Intelligence and Cybersecurity. He previously served as Dean of the Faculty of Technical Sciences (2013–2021). His roles include Coordinator for International Relations of the Faculty of Engineering and Member of the Faculty Conference of Technical Sciences. He holds a PhD in Computer Science from Vienna University of Technology and has extensive industry experience, including heading departments at Siemens Austria and research roles at Siemens Corporate Research and Stanford Research Institute. Research focuses on knowledge-based systems, recommender systems, configuration and planning, and production informatics. His work bridges theoretical AI with practical applications in manufacturing, software development, and business processes. He has authored a book on recommender systems (translated into Japanese and Chinese) and contributed to prestigious journals like Artificial Intelligence and IEEE Transactions . He has organized major conferences such as the German Conference on Artificial Intelligence (2016) and served as editor and program committee member for leading venues. His awards include Fellowships from the European and Asia-Pacific AI Associations (2012, 2023). His advising and grants include leadership in applied AI projects and international collaborations. He directs the Intelligent Systems and Business Informatics research group, emphasizing interdisciplinary innovation.
Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne. His research focuses on automated reasoning, formal methods, and learning for reasoning, particularly in the context of interactive theorem proving and formalized mathematics. He leads the ERC project 'FormalWeb3' and has been involved in several other significant research initiatives. Theoretical Computer Science Automated Reasoning Formal Methods Interactive Theorem Proving Machine Learning for Theorem Proving Formalized Mathematics Proof Guidance Learning for Reasoning His research explores the integration of machine learning techniques with formal reasoning systems to enhance automation in theorem proving. This includes developing systems like CoqHammer and Tactician, advancing premise selection, proof guidance, and learning-based proof search strategies. His work bridges logical foundations with practical AI-driven tools for formal verification. The recent publications demonstrate a consistent focus on advancing automated and interactive theorem proving through learning techniques, formalization of mathematical concepts (like surreal numbers), and improving reasoning systems (e.g., Prover9, tableaux methods). There is a strong emphasis on practical system development, formalization projects, and learning-based enhancements to reasoning. ERC project 'FormalWeb3' - Principal Investigator Cost Action EuroProofNet - WG5 Leader until 2024 FWF project P26201 - developing HOL(y)Hammer Other projects: JSPS P10044, NWO MathWiki, SURF WebDed, ProofWeb He has advised several PhD students to completion, including Michael Färber, Thibault Gauthier, Yutaka Nagashima, Stanisław Purgał, and Liao Zhang, and is currently supervising Daniel Ranalter and Neil Vyas. He has not received any explicitly mentioned scientific awards in the provided text. His work involves leadership in collaborative systems such as ProofWeb and HOL Import, and participation in major formalization efforts including the Mizar library integration with Isabelle. He is actively involved in the development of tool ecosystems for formal mathematics and automated reasoning.
Prof. Ulrich Schmid is a full professor at TU Wien, affiliated with the Forschungsbereich Embedded Computing Systems. His research focuses on distributed systems, fault-tolerant computing, and asynchronous algorithms. He leads projects like 'Asynchronous Distributed Algorithms in the Theta-Model' and 'Gracefully Degrading Agreement in Directed Dynamic Networks.' Prof. Schmid has received honors at TU Wien and actively supervises numerous students in PhD and Master's programs. His academic work spans theoretical foundations (e.g., epistemic logic in Byzantine systems) and practical applications (e.g., digital circuit delay modeling). Key contributions include hybrid delay models for integrated circuits and formal verification frameworks for timed circuits. Collaborations involve institutions like the Institut für Technische Informatik and the E191-02 research group. Notable research areas: Byzantine fault tolerance, consensus protocols, and embedded systems Leadership in 4 major projects addressing distributed computing challenges Recipient of TU Wien honors (2021) Prof. Schmid's lab emphasizes bridging theoretical computer science with hardware-software co-design, producing over 220 publications and 10+ supervised theses since 2000.
