Research Projects

• NanoX
  2024 – 2028 / Austrian Science Fund (FWF)
• Simultaneous Multiprojection Graph Visualization
  2024 – 2027 / Austrian Science Fund (FWF)
• Combining Computer Algebra with SAT for Word-Level Reasoning
  2024 – 2027 / Austrian Science Fund (FWF)
• Themis - Trustworthy and Sustainable Code Offloading
  2024 – 2027 / Austrian Science Fund (FWF)
• SANE: Visual Analytics for Event-Based Diffusion on Networks
  2024 – 2027 / Austrian Science Fund (FWF)
• Multimodality Artificial intelligence open-source Tools for Radiation Treatment Optimization in patients with Glioblastoma
  2024 – 2027 / Austrian Science Fund (FWF)
• Microscopic derivation of effective Hamiltonians
  2024 – 2027 / Austrian Science Fund (FWF)
• Alternating Symmetry-Breaking Combinatorial Search with SAT
  2024 – 2027 / Austrian Science Fund (FWF)
• Logical methods for Deontic Explanations
  2024 – 2026 / Austrian Science Fund (FWF)
• Towards Trustworthy Recommendation Systems for Online Social Networks
  2023 – 2030 / Vienna Science and Technology Fund (WWTF)
• PLFDoc: Precision Livestock Farming
  2023 – 2027 / Austrian Science Fund (FWF)
• Visual Analytics and Computer Vision meet Cultural Heritage
  2023 – 2027 / Austrian Science Fund (FWF)
• Effective Formal Methods for Smart-Contract Certification
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Scalable, Private, and Interoperable Layer 2
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Parameterized Graph Drawing
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Transprecise Edge Computing
  2023 – 2027 / Austrian Science Fund (FWF)
• Training and Guiding AI Agents with Ethical Rules
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Automated Sublinear Amortised Resource Analysis of Data Structures
  2023 – 2027 / Austrian Science Fund (FWF)
• Decompose and Conquer: Fast Query Processing via Decomposition
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Fixing the Broken Bridge Between Mobile Apps and the Web
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Structured Data Learning with Generalized Similarities
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Toward Optimal Path Guiding for Photorealistic Rendering
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Instant Visualization and Interaction for Large Point Clouds
  2023 – 2026 / Vienna Science and Technology Fund (WWTF)
• Using single atom catalysts as nanozymes in FET sensors FET
  2023 – 2026 / Austrian Science Fund (FWF)
• Joint Human-Machine Data Exploration
  2023 – 2026 / Austrian Science Fund (FWF)
• E-LAUTE: E-Linked Annotated unified Tablature Editions
  2023 – 2026 / Austrian Science Fund (FWF)
• Structure Identification with SAT
  2023 – 2026 / Austrian Science Fund (FWF)
• Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design
  2023 – 2026 / Austrian Science Fund (FWF)
• Knowledge Graph-driven Tour Management for Sustainable Waste Processing
  2023 – 2024 / Vienna Science and Technology Fund (WWTF)
• Caring Robots // Robotic Care
  2022 – 2027 / Austrian Science Fund (FWF)
• Reverse supply chain of residual wood biomass
  2022 – 2026 / FWF - Österr. Wissenschaftsfonds
• Overcoming Intractability in the Knowledge Compilation Map
  2022 – 2025 / Austrian Science Fund (FWF)
• Pro-Active Routing for Emergency Testing in Pandemics
  2022 – 2025 / Austrian Science Fund (FWF)
• QBF Proofs and Certificates
  2022 – 2025 / Austrian Science Fund (FWF)
• Proof analysis and autom. deduction for recursive structures
  2022 – 2025 / Austrian Science Fund (FWF)
• ArtVis: Dynamic Network Perspectives on Digital Art History
  2022 – 2025 / Austrian Science Fund (FWF)
• Abstraction for Understandability of Reasoning in AI
  2022 – 2025 / Austrian Science Fund (FWF)
• A Composable Rational Framework for Blockchain Systems
  2022 – 2025 / Austrian Science Fund (FWF)
• Parameterized Analysis in Artificial Intelligence
  2021 – 2026 / Austrian Science Fund (FWF)
• Foundations of Reasoning in the Shape Constraint Language
  2021 – 2025 / Austrian Science Fund (FWF)
• Transparent Automated Content Moderation
  2021 – 2025 / Vienna Science and Technology Fund (WWTF)
• Humans and Recommender Systems: Towards Mutual Understanding
  2021 – 2025 / Austrian Science Fund (FWF)
• Offline and Online Autotuning of Parallel Applications
  2021 – 2025 / Austrian Science Fund (FWF)
• Etruscan Mirrors in Austria
  2021 – 2025 / Austrian Science Fund (FWF)
• Unstable Bodies
  2021 – 2024 / Austrian Science Fund (FWF)
• Algorithmic governance of care
  2021 – 2024 / Vienna Science and Technology Fund (WWTF)
• Scalable Reasoning in Knowledge Graphs
  2020 – 2028 / Vienna Science and Technology Fund (WWTF)
• Advanced Computational Design
  2020 – 2028 / Austrian Science Fund (FWF)
• Cryptographic Foundations of Privacy in Distributed Ledgers
  2020 – 2027 / Vienna Science and Technology Fund (WWTF)
• Modeling the World at Scale
  2020 – 2026 / Vienna Science and Technology Fund (WWTF)
• Reasoning about Knowledge in Byzantine Distributed Systems
  2020 – 2025 / Austrian Science Fund (FWF)
• Guidance-Enriched Visual Analytics for Temporal Data
  2020 – 2025 / Vienna Science and Technology Fund (WWTF)
• Engineering Linear Ordering Algorithms for Optimizing Data Visualizations
  2020 – 2025 / Vienna Science and Technology Fund (WWTF)
• IoTIO: Analyzing and Understanding the Internet of Insecure Things
  2020 – 2025 / Vienna Science and Technology Fund (WWTF)
• Distribution Recovery for Invariant Generation of Probabilistic Programs
  2020 – 2025 / Vienna Science and Technology Fund (WWTF)
• Structural and Algorithmic Aspects of Preference-based Problems in Social Choice
  2019 – 2027 / Vienna Science and Technology Fund (WWTF)
• Digital Modeling of Asynchronous Integrated Circuits
  2019 – 2024 / Austrian Science Fund (FWF)
• Compiling Knowledge into Applications
  2018 – 2025 / Austrian Science Fund (FWF)
• Doktoratskolleg "Vienna Graduate School on Computational Optimization"
  2016 – 2025 / Austrian Science Fund (FWF)