Research Projects

• Effective Formal Methods for Smart-Contract Certification
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Transprecise Edge Computing
  2023 – 2027 / Austrian Science Fund (FWF)
• 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)
• 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)
• Structured Data Learning with Generalized Similarities
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• 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)
• Toward Optimal Path Guiding for Photorealistic Rendering
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Logical methods for Deontic Explanations
  2023 – 2026 / Austrian Science Fund (FWF)
• 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)
• 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)
• 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)
• Reverse supply chain of residual wood biomass
  2022 – 2025 / FWF Fonds zur Förderung der wissenschaftlichen Forschung (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)
• Etruscan Mirrors in Austria
  2021 – 2025 / Austrian Science Fund (FWF)
• Algorithmic governance of care
  2021 – 2024 / Vienna Science and Technology Fund (WWTF)
• Unstable Bodies
  2021 – 2024 / Austrian Science Fund (FWF)
• Incremental SAT and SMT Reasoning for Scalable Verification
  2021 – 2024 / Austrian Science Fund (FWF)
• Humans and Recommender Systems: Towards Mutual Understanding
  2021 – 2024 / Austrian Science Fund (FWF)
• A holistic analysis of participatory budgeting
  2021 – 2024 / Austrian Science Fund (FWF)
• Offline and Online Autotuning of Parallel Applications
  2021 – 2024 / Austrian Science Fund (FWF)
• Sustainable Watershed Management Through IoT-Driven AI
  2021 – 2024 / Austrian Science Fund (FWF)
• Scalable Reasoning in Knowledge Graphs
  2020 – 2028 / Vienna Science and Technology Fund (WWTF)
• Cryptographic Foundations of Privacy in Distributed Ledgers
  2020 – 2027 / 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)
• Guidance-Enriched Visual Analytics for Temporal Data
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Learning to Solve Quantified Boolean Formulas
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Engineering Linear Ordering Algorithms for Optimizing Data Visualizations
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Modeling the World at Scale
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Advanced Computational Design
  2020 – 2024 / Austrian Science Fund (FWF)
• Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Water's gateway to heaven: 3D imaging and modeling of transient stomatal responses in plant leaves under dynamic environments
  2020 – 2024 / 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)
• Hybrid Parameterized Problem Solving in Practice
  2019 – 2024 / Austrian Science Fund (FWF)
• SAT-Based Local Improvement Methods
  2019 – 2024 / Austrian Science Fund (FWF)
• High-dimensional statistical learning: New methods to advance economic and sustainability policies
  2019 – 2024 / Austrian Science Fund (FWF)
• Digital Modeling of Asynchronous Integrated Circuits
  2019 – 2024 / Austrian Science Fund (FWF)
• Algorithm Engineering for Process Mapping
  2019 – 2024 / Austrian Science Fund (FWF)
• Algorithms for Sustainable Group Decision Making
  2019 – 2024 / Austrian Science Fund (FWF)
• Compiling Knowledge into Applications
  2018 – 2025 / Austrian Science Fund (FWF)
• Doktoratskolleg "Vienna Graduate School on Computational Optimization"
  2016 – 2024 / Austrian Science Fund (FWF)