جست‌وجوی استاد و پژوهشگر

• Cyber-Physical Systems
• Formal Verification
• Probabilistic Systems
• +۳ مورد دیگر

Francesco Pontiggia is a PreDoc Researcher at the Institute of Computer Engineering, Faculty of Informatics at TU Wien. His research focuses on formal verification of probabilistic systems, cyber-physical systems, and automated controller synthesis. He contributes to the ProbInG project (2020–2025), developing model checkers for probabilistic operator precedence languages and related formalisms. Key research interests include probabilistic hyperproperties, formal methods for probabilistic programming, and verification techniques for recursive stochastic systems. His work bridges theoretical foundations with practical tools such as POPACheck and POMC, targeting applications in automated planning and program analysis. Recent publications (2019–2025) emphasize advancements in model checking algorithms for probabilistic systems, operator precedence languages, and exception handling mechanisms. These works address challenges in verifying complex systems with stochastic behaviors and conditional probabilities. He collaborates on projects integrating formal methods with compiler design, runtime verification, and cyber-physical system design. His research has led to tool implementations and theoretical frameworks published in top-tier venues like QEST and ACM Transactions on Programming Languages and Systems.

• Audio Signal Processing
• Music Information Retrieval
• Deep Learning
• +۳ مورد دیگر

Alexander Schindler is an External Lecturer at the Department of Information Systems Engineering at Technische Universität Wien. His research focuses on audio signal processing, music information retrieval, and deep learning applications in multimodal analysis. He coordinates the approacH project (2010–2013) funded by the European Commission, exploring audio-visual search engines. His academic background includes a Dipl.-Ing. in Technical Engineering and a Dr.techn. from TU Wien. Key research areas include acoustic scene classification, deepfake detection, and music video analysis. He has supervised students on topics like bird song identification and machine outage prediction. Notable publications span from unsupervised cross-modal learning (2020) to multi-modal MIR frameworks (2019). He holds a Bakk.techn. and advanced technical qualifications. Recent work includes advancements in deepfake audio detection (2025) and audio-visual surveillance systems (2024). His projects bridge theoretical research with practical applications in forensic analysis and industrial predictive maintenance. He contributes to international conferences like ACM SAC and DCASE, focusing on neural network architectures for audio analysis.

Renata Raidouمشاهده پروفایل

دانشیار

• Medical Visualization
• Visual Analytics
• Uncertainty Visualization
• +۳ مورد دیگر

Renata Raidou is an Associate Professor in Biomedical Visualization and Visual Analytics at the Research Unit of Computer Graphics, Institute of Visual Computing & Human-Centered Technology, TU Wien, Austria. She previously held positions at the University of Groningen and TU Wien as a postdoc. Her research focuses on medical visualization, uncertainty visualization, and data physicalization for healthcare applications. Raidou has received prestigious awards including the Dirk Bartz Prize (2017) and EuroVis Young Researcher Award (2022). She coordinates TU Wien's BSc in Digital Health and MSc in Medical Informatics. Education: PhD in Medical Visualization (Eindhoven University of Technology, 2017), MSc in Biomedical Engineering (TU Delft), Diploma in Electrical and Computer Engineering (NTUA). Professional Roles: Editorial Board member of Computer & Graphics , Steering Committee member of EG VCBM, and member of EASAC's AI in Healthcare working group. Research Interests: Medical visualization strategies for P4 medicine, anatomical edutainment through physicalization, and uncertainty-aware visual analytics in radiotherapy. Her work bridges visual computing, machine learning, and medical applications, emphasizing clinical decision support and public health education. Awards: Over 10 awards including Best Paper recognitions at IEEE Vis and EuroVis, and the EuroVis Best PhD Award. Her contributions span visualizing anatomical variability, ensemble data exploration, and interactive medical training tools. Grants & Projects: Leads the Health Virtual Twins project (2024–2028) for personalized stroke management. Active in interdisciplinary collaborations, including the Shonan Meeting on Formalizing Biological Visualization. Labs/Teams: Head of the Visualization Group at TU Wien, developing tools like Vologram (holographic medical data physicalization) and Slice and Dice anatomical crafts. Collaborates on edutainment systems and AI-driven healthcare visualization.

Stefan Brucknerمشاهده پروفایل

استاد

• Biomedical Visualization
• Volume Rendering
• Visual Data Exploration
• +۱ مورد دیگر

Stefan Bruckner is Professor of Visualization at the University of Bergen, specializing in biomedical visualization, volume rendering, and visual data exploration. His work develops novel techniques for analyzing complex scientific datasets across meteorology, medicine, and materials science. Dr. Bruckner's research group develops interactive visual analytics tools for weather forecasting, medical diagnostics, and ensemble data analysis. His methodological innovations include GPU-accelerated rendering, visual parameter exploration, and uncertainty visualization. He received the 2011 Eurographics Young Researcher Award for contributions to illustrative visualization. Professional service includes program committee roles for IEEE VIS, Eurographics, and ECRTS conferences. His pedagogical contributions span visualization, computer graphics, and programming languages at institutions including École normale supérieure and École polytechnique.

Annalena Ulschmidمشاهده پروفایل

پژوهشگر

• Physically-based Rendering and Simulation
• Statistics / User Studies
• Incremental Path Tracing for Scene Editing
• +۴ مورد دیگر

Annalena Ulschmid is a PreDoc Researcher at the Vienna University of Technology , affiliated with the Faculty of Informatics and the Computer Graphics group. She holds an MSc and contributes to research in physically-based rendering , user studies , and real-time graphics algorithms . Research spans incremental path tracing , alternative rendering datastructures , and probabilistic models for participating media . Key projects include ACD (Automated Prioritization for Context-Aware Re-rendering) (2020–2028) and IVILPC (Single-Exemplar Lighting Style Transfer) (2023–2026). She teaches courses like Computer Graphics , Fundamentals of Computer Graphics , and Rendering . Publications focus on real-time rendering , VR accessibility , and lighting style transfer . Her work has been recognized with the Best Student Paper Award at VISIGRAPP 2025 . Notable collaborations include Michael Wimmer and Katharina Krösl . Further details are available via her ORCID profile and GitHub repository .

• Computational Sustainability
• Cloud Computing
• Edge Computing
• +۳ مورد دیگر

Ivona Brandic is a Full Professor of High Performance Computing Systems at TU Wien's Institute of Information Systems Engineering, leading the HPC Research Group. She specializes in Computational Sustainability, Cloud/Edge Computing, and Quantum-Classical Systems. Her roles include Head of the Computational Sustainability Research Unit and membership in TU Wien's Faculty Council. She teaches courses such as AI/ML in Climate Change and Hybrid Quantum-Classical Systems. Her research focuses on sustainable IT, energy-efficient systems, and hybrid quantum-classical workflows. Projects include computational sustainability initiatives funded by the Austrian Science Fund (FWF) and industry partnerships like the Virtual Shepherd project. She has contributed to over 50 publications, emphasizing edge computing, quantum algorithms, and HPC optimization. Notable contributions include developing frameworks like RIGOLETTO for hybrid scientific workflows and FRESCO for edge offloading. Her work bridges theoretical advancements with practical applications in environmental monitoring and energy efficiency.

• Automated Reasoning
• Knowledge Representation and Reasoning
• Computational Logic
• +۵ مورد دیگر

Uwe Egly is an Associate Professor at the Department of Knowledge-Based Systems, Faculty of Informatics, Technische Universität Wien (TU Wien). His research focuses on automated reasoning, proof theory, knowledge representation, and computational logic, with a strong emphasis on quantified Boolean formulas (QBFs), argumentation frameworks, and applications of AI in engineering. He leads projects funded by the Austrian Science Fund (FWF) and the Vienna Science and Technology Fund (WWTF), including the Boolean project (2011–2019) and FAME (2011–2014). Egly is known for developing QBF solvers like DepQBF and contributing to SAT-solving techniques. He teaches courses such as Abstract Argumentation , Formal Methods in Computer Science , and Quantum Computing . His research interests span proof complexity, satisfiability checking, and AI-driven algorithms for path planning. He has advised numerous students on theses involving quantum algorithms, QBF solver optimizations, and argumentation frameworks. Egly’s work bridges theoretical computer science with practical applications, including contributions to deformation monitoring systems and circuit synthesis using SAT-based methods. He is involved in international workshops and conferences, such as SAT, FMCAD, and Dagstuhl Seminars, and has edited proceedings for events like SAT 2014 . His collaborations include projects on scenario-based testing of UML diagrams and semantics-aware model versioning. Egly’s interdisciplinary approach integrates logic, artificial intelligence, and computational methods to solve complex theoretical and applied problems.

Renata Georgia Raidouمشاهده پروفایل

دانشیار

• Medical Visualization
• Visual Analytics
• Uncertainty Visualization
• +۴ مورد دیگر

Renata Georgia Raidou is an Associate Professor in Biomedical Visualization and Visual Analytics at TU Wien's Institute of Visual Computing & Human-Centered Technology. She leads the Research Unit of Computer Graphics and serves as Curriculum Coordinator for the Bachelor in Informatics (Specialization Digital Health) and Master in Medical Informatics programs. She holds prestigious awards including the EuroVis Young Researcher Award (2022), Best PhD Award (2018), and Dirk Bartz Prize (2017). Her research focuses on medical applications of Visual Analytics, with emphasis on uncertainty visualization, comparative visualization, and anatomical edutainment through physicalizations. She explores how visual tools can enhance decision-making in precision medicine, particularly in radiotherapy and cancer treatment. Her work bridges visualization, machine learning, and image processing to address clinical challenges. Raidou's recent projects include developing predictive visual analytics systems for radiotherapy planning and creating tactile physicalizations for anatomy education. She actively contributes to the field through editorial roles (Associate Editor of Computer & Graphics ) and policy advising via EASAC's 'AI in Healthcare' initiatives. Key Projects: Health Virtual Twins for Stroke Management, PREVIS for Radiotherapy Decision Support, Pelvis Runner for Anatomical Variability Analysis Teaching: Courses on Medical Visualization, Data Analytics in Health Sciences, and Visual Computing Grants: European Commission-funded projects (2024–2028) Her lab develops interdisciplinary tools for clinicians, researchers, and educators, emphasizing both technical innovation and real-world impact.

Dominique Schröderمشاهده پروفایل

استاد

• Privacy
• Distributed Trust
• Privacy-Preserving Technologies
• +۷ مورد دیگر

Dominique Schröder is a Full Professor and Head of the Privacy Enhancing Technologies Research Unit at TU Wien. Previously, he held academic positions at Friedrich-Alexander University of Erlangen-Nuremberg and the University of Saarland. His research focuses on cryptography, privacy-preserving technologies, and decentralized systems. He obtained his Ph.D. from TU Darmstadt and his diploma from TU Braunschweig. Key research areas include privacy-preserving techniques, secure multiparty computation, cryptographic protocols, and low-entropy security. His work bridges theoretical cryptography with practical applications, particularly in blockchain, genomic data management, and decentralized systems. Education: Ph.D. in Cryptography, TU Darmstadt Diploma in Computer Science, TU Braunschweig Postdoc at University of Maryland (advisor: Jonathan Katz) Notable Contributions: Developed Group ORAM for privacy in outsourced records Advanced adaptor signatures and threshold cryptography Contributed to privacy-preserving genomic data systems like PROMISE His publications span top venues in cryptography (e.g., CRYPTO, EUROCRYPT) and address topics like secure computation resilience, functional credentials, and privacy metrics. He actively participates in academic committees and advises on privacy-enhancing technologies.

• Formal Methods
• Program Analysis
• Verification
• +۹ مورد دیگر

Florian Zuleger is an Associate Professor at TU Wien's Department of Formal Methods in Systems Engineering (E192-04). He has a 100% research focus and serves as Curriculum Coordinator for the Master’s program in Verification and Automated Reasoning. His work emphasizes automated methods for termination analysis, resource-bound estimation, verification of programs with dynamic data structures, parameterized systems, and automated feedback for introductory programming tasks. He has led projects funded by the European Commission (2024–2027), Austrian Science Fund (FWF), Amazon Research Awards, and Vienna Science and Technology Fund. Research Interests: Automated Program Verification Formal Methods for Concurrent Systems Separation Logic and Decision Procedures Resource and Complexity Analysis Parameterized Model Checking Inductive Logic in Verification Grants & Advising: Zuleger’s recent grants explore verification of safety-critical applications and automated cost analysis. He has advised numerous students on topics ranging from verified data structures to fault-tolerant algorithms. His projects include collaboration with Amazon, the European Commission, and FWF. Labs/Teams: Involved with the LogiCS Research Group, focusing on logical methods in computer science, and contributes to tool development (e.g., ATLAS, SpecBMC, SL-COMP competitions).

• Agent Based Modelling
• Reactive synthesis
• Formal Methods
• +۶ مورد دیگر

Luca Di Stefano is a Post-Doc Researcher at Technische Universität Wien (TU Wien) since March 2024. His research focuses on the specification and verification of complex collective systems like multi-agent systems and robot swarms, using formal methods such as model checking and reactive synthesis. He works on online formal techniques including runtime monitoring. Research Interests: Software verification Model checking Multi-agent systems Formal semantics Process calculi Reactive synthesis Static analysis Recent Article Trends: His work spans formal verification of reconfigurable systems, emergent behavior in collective systems, and synthesis techniques for infinite-state models. Keywords include Agent-Based Modelling, Formal Methods, Temporal Logic, and Runtime Monitoring. Thesis Supervision: He supervises BSc and MSc theses at TU Wien, with Ezio Bartocci as main advisor. Examples include "Type checking a novel language for reconfigurable multi-agent systems" (Benjamin Stolz, 2025) and "Evaluating in-memory caching strategies" (Love Lyckaro, 2023). Teaching: He teaches courses like "Scientific Research and Writing" and "GPU Architectures and Computing" at TU Wien, and has served as teaching assistant for concurrent programming courses at University of Gothenburg and Chalmers. Labs & Projects: He contributes to tools like LAbS (attribute-based stigmergy language), SLiVER (verification tool), R-CHECK (model checking for reconfigurable systems), sweap (symbolic reactive synthesis), and pyxmv (Python interface for nuXmv).

• Formal Methods
• Automated Reasoning
• Inductive Logic
• +۳ مورد دیگر

Marton Hajdu is a PostDoc Researcher at the Vienna University of Technology , affiliated with the Systems Engineering department under the Formal Methods in Systems Engineering group (E192-04). His research focuses on formal methods , automated reasoning , and inductive logic . He actively contributes to projects such as ARTIST (2021–2026) , ForSmart (2023–2027) , and SFB SPyCoDe (2023–2026) , which explore recursive programming, saturation-based reasoning, and inductive benchmarks. His work intersects superposition calculus , term rewriting , and formal verification . His recent publications highlight advancements in inductive reasoning , recursive program synthesis , and constraint solving using saturation techniques. These contributions align with broader trends in automated deduction and logic programming for computer-aided verification. Marton Hajdu holds a Diploma Thesis from TU Wien (2020) titled Automating inductive reasoning with recursive functions , establishing his expertise in formal methods and recursive logic. He collaborates with researchers like Laura Kovács and Andrei Voronkov , and his work is supported by projects spanning formal reasoning, smart systems, and theoretical computer science.

• Graph Data Management
• RDF and Semantic Web
• Database Theory
• +۳ مورد دیگر

Maxime Jakubowski is a PostDoc Researcher at TU Wien's Faculty of Informatics, affiliated with the Databases and Artificial Intelligence research group. Based in Room HA0320 at Favoritenstrasse 9, he can be contacted at maxime.jakubowski@tuwien.ac.at and maintains an ORCID profile (0000-0002-7420-1337). His research centers on graph data management within the Semantic Web ecosystem, specializing in RDF validation through shape constraint languages like SHACL and ShEx. He investigates formal foundations, expressiveness boundaries, and practical implementations including SQL compilation and neighborhood-based graph description. Current projects include FRESH (2021–2026), KtoAPP (2018–2025), and TARGET (2024–2028), focusing on graph data theory and implementation. Recent publications (2021–2025) demonstrate consistent contributions to RDF validation standards, with 14 articles addressing shape language formalization, compilation techniques, and provenance tracking. His work bridges theoretical database concepts with industrial applications in knowledge graph validation. Dr. Jakubowski supervises bachelor theses and teaches courses including Management of Graph Data (192.161) and Project in Computer Science. His research collaborations span international projects and the Dagstuhl Seminar 24102 on Shapes in Graph Data. He is an active member of the Databases and Artificial Intelligence research group, contributing to TU Wien's leadership in graph data management and Semantic Web technologies through both theoretical research and practical tool development.

Peter Kánمشاهده پروفایل

پژوهشگر

• Photorealistic rendering
• Augmented reality
• Virtual reality
• +۵ مورد دیگر

Peter Kán serves as a Senior Scientist at TU Wien's Faculty of Informatics, Institute of Visual Computing and Human-Centered Technology. He manages the Mixed Reality Laboratory and teaches multiple courses including Mixed Reality Lab (193.169), PhD Seminar (193.083), and various Project courses in Computer Science and Visual Computing. PhD in Computer Science from TU Wien Research on High-Quality Real-Time Global Illumination in Augmented Reality His research spans photorealistic rendering, augmented and virtual reality systems, automatic 3D content generation, and embodied conversational agents. Current projects include RE:STOCK INDUSTRY (2024–2027), Circular Twin (2022–2025), and VR Tennis Trainer (2020–2022), funded by FFG and WWTF. His work integrates deep learning with real-time rendering for applications in industrial design, sports training, and accessibility solutions for deaf and hard-of-hearing users. Recent publications demonstrate strong focus on procedural building design, motion analysis, and accessibility interfaces. Key trends include embodied conversational agents with situation awareness, multi-objective optimization for industrial buildings, and haptic feedback systems. His research bridges computer graphics, human-computer interaction, and practical applications in architecture and healthcare. Peter Kán has received research funding from Austrian Research Promotion Agency (FFG) and Vienna Science and Technology Fund (WWTF) for projects including Conversational Agents (2023–2024) and Realistic Indoor Path Visualization (2016–2018). Supervised 10 theses including Tennis Motion Learning in VR (Sebernegg, 2025) and Embodied Conversational Agents (Rumpelnik, 2023) Manages Mixed Reality Laboratory focusing on photorealistic AR/VR systems Leads research teams on projects like Circular Twin and RE:STOCK INDUSTRY

Susanne Buiterمشاهده پروفایل

استاد

• Geodynamics
• Tectonics
• Structural Geology
• +۷ مورد دیگر

Prof. Dr. Susanne Buiter is Scientific Executive Director and Spokesperson of the GFZ German Research Centre for Geosciences in Potsdam, Germany, and Professor of Tectonics and Geodynamics at RWTH Aachen University since 2020. Her career spans roles in Norway, Canada, and Switzerland, including leadership at the Geological Survey of Norway (2006-2020) and adjunct professorship at Oslo University. PhD in Tectonophysics from Utrecht University Specialist in numerical modeling of crustal deformation Developer of 2D/3D software SULEC Research Focus Buiter's work centers on geodynamic processes across scales, including: Quantitative deformation analysis in crust and lithosphere Subduction zone dynamics and continental collision Wilson Cycle modeling (subduction, collision, rifting) Rifted continental margin evolution Benchmarking numerical and analogue tectonic models Her research integrates computational methods with geological observations to study processes from sedimentary basin inversion to mantle plume effects on continental breakup. Scientific Leadership Vice-President, Helmholtz Research Field 'Earth and Environment' (2024-2025) Union Service Award, European Geosciences Union (2022) Marie Skłodowska-Curie Doctoral Network 'Talents' Co-PI (2023) Editorial leadership at Solid Earth (2019-present) Young Outstanding Scientist Award, Norwegian Research Council (2007) As Executive Editor of Solid Earth and organizer of 8 international workshops, she actively shapes geodynamic research and open science initiatives.