Research Projects

• Guidance-Enriched Visual Analytics for Temporal Data
  2020 – 2024 / Vienna Science and Technology Fund (WWFT)
• IoTIO: Analyzing and Understanding the Internet of Insecure Things
  2020 – 2024 / Vienna Science and Technology Fund (WWFT)
• Scalable Reasoning in Knowledge Graphs
  2020 – 2028 / Vienna Science and Technology Fund (WWFT)
• Learning to Solve Quantified Boolean Formulas
  2020 – 2023 / Vienna Science and Technology Fund (WWFT)
• Distribution Recovery for Invariant Generation of Probabilistic Programs
  2020 – 2024 / Vienna Science and Technology Fund (WWFT)
• Engineering Linear Ordering Algorithms for Optimizing Data Visualizations
  2020 – 2024 / Vienna Science and Technology Fund (WWFT)
• Modeling the World at Scale
  2020 – 2024 / Vienna Science and Technology Fund (WWFT)
• Exceptional Norms: Marginalised Bodies in Interaction Design
  2020 – 2023 / Austrian Science Fund (FWF)
• Personalised Medicine: Multidisciplinary Research Towards IM
  2020 – 2023 / Austrian Science Fund (FWF)
• AutoTest
  2020 – 2021 / Vienna Science and Technology Fund (WWFT)
• 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 (WWFT)
• Cryptographic Foundations of Privacy in Distributed Ledgers
  2020 – 2027 / Vienna Science and Technology Fund (WWFT)
• EDENSPACE: Engineering Dependable Cyber-Physical Spaces
  2019 – 2021 / Austrian Science Fund (FWF)
• From Semantic Games to Analytic Calculi – and Back
  2019 – 2023 / Austrian Science Fund (FWF)
• Structural and Algorithmic Aspects of Preference-based Problems in Social Choice
  2019 – 2027 / Vienna Science and Technology Fund (WWFT)
• Hybrid Parameterized Problem Solving in Practice
  2019 – 2022 / Austrian Science Fund (FWF)
• SAT-Based Local Improvement Methods
  2019 – 2022 / Austrian Science Fund (FWF)
• Superhumans - Walking Through Walls
  2019 – 2022 / Austrian Science Fund (FWF)
• High-dimensional statistical learning: New methods to advance economic and sustainability policies
  2019 – 2023 / Austrian Science Fund (FWF)
• Digital Modeling of Asynchronous Integrated Circuits
  2019 – 2023 / Austrian Science Fund (FWF)
• Cryptographic Foundations for Future-proof Internet Security
  2019 – 2022 / Austrian Science Fund (FWF)
• Algorithm Engineering for Process Mapping
  2019 – 2022 / Austrian Science Fund (FWF)
• Algorithms for Sustainable Group Decision Making
  2019 – 2022 / Austrian Science Fund (FWF)
• Formal methods for Realistic Environments in MAS
  2019 – 2022 / Austrian Science Fund (FWF)
• On the Computational Interpretation of Intermediate Logics
  2019 – 2021 / Austrian Science Fund (FWF)
• Knowledge-Assisted Visual Analytics
  2018 – 2021 / Austrian Science Fund (FWF)
• Human-Centered Algorithm Engineering
  2018 – 2022 / Austrian Science Fund (FWF)
• Compiling Knowledge into Applications
  2018 – 2022 / Austrian Science Fund (FWF)
• New Frontiers for Parameterized Complexity
  2018 – 2021 / Austrian Science Fund (FWF)
• Holonomic Sequences in Program Verification
  2018 – 2021 / Austrian Science Fund (FWF)
• HyperTrac: hypergraph Decompositions and Tractability
  2018 – 2022 / Austrian Science Fund (FWF)
• Exploring Long-Term Human-Robot Interaction
  2018 – 2022 / Austrian Science Fund (FWF)
• Ontology-mediated Queries for Graph Databases
  2017 – 2021 / Austrian Science Fund (FWF)
• Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
  2017 – 2022 / Vienna Science and Technology Fund (WWFT)
• Integrative Visual Abstraction of Molecular Data
  2017 – 2021 / Austrian Science Fund (FWF)
• TICAMORE: Translating and discovering calculi for modal and related logics
  2017 – 2021 / Austrian Science Fund (FWF)
• Runtime Control on Multi Clouds
  2016 – 2022 / Austrian Science Fund (FWF)
• Doktoratskolleg "Vienna Graduate School on Computational Optimization"
  2016 – 2024 / Austrian Science Fund (FWF)
• START
  2014 – 2021 / Austrian Science Fund (FWF)
• Structure and Expressivity: The Mathematical Foundations of Inductive Reasoning
  2013 – 2021 / Vienna Science and Technology Fund (WWFT)
• Combinatorics of Tree-Like Structures and Enriched Trees
  2013 – 2021 / Austrian Science Fund (FWF)