Find Academic Supervisors

• Formal Methods
• Program Analysis
• Verification
• +9 more

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).

• Computer Vision
• Autonomous Driving
• 3D Reconstruction
• +5 more

Ao.Univ.Prof. Margrit Gelautz is an Associate Professor at TU Wien's Computer Vision research department (E193-01), affiliated with the Institute for Software Technology and Interactive Systems (E188). Her work focuses on computer vision applications in autonomous driving, robotics, and 3D reconstruction. She leads projects on driver monitoring systems, vulnerable road user detection, and human-robot interaction. Recent research includes 3D bounding box prediction, synthetic data-driven pose estimation, and real-time sensor systems. She advises over 20 graduate students and collaborates on automotive platforms integrating vision-based safety systems. Her contributions span sensor fusion, stereo matching algorithms, and interactive video tools. Key projects include multimodal sensor-lighting systems for traffic safety, 3D scene completion, and intelligent workflow design for low-cost 3D film production. Her work emphasizes practical applications like in-cabin monitoring systems and adaptive lighting control. She develops semi-automatic annotation tools for traffic datasets and explores nonverbal communication in human-robot interaction using platforms like Pepper humanoid robots.

• Internet of Things (IoT)
• Industry 4.0
• Digital Healthcare
• +5 more

Christian Jandl is a Researcher and Head of the Digital Technologies Research Group at the Institute of Creative Media/Technologies, University of Applied Sciences St. Pölten. He holds a Master's in Media Technology (specializing in Mobile Internet) from FH St. Pölten (2010–2016) and has been a researcher there since 2016. His work focuses on IoT, Industry 4.0, digital healthcare, and usability. Research & Projects: Leading 20+ projects including DPP4Food (digital supply chain), SensiTrack (privacy-aware IoT tracking), and IoT4LAC (community IoT solutions) Explores tracking systems in manufacturing, healthcare usability, and industrial asset management Develops privacy-by-design frameworks for industrial IoT applications Publications & Impact: Over 15 peer-reviewed articles on topics like privacy in tracking systems, industrial quality control, and AR in production Key contributions to Bluetooth-based asset tracking (BlueDAT framework) and auditory process monitoring Labs & Collaboration: Immersive Media Lab for VR/AR applications Focus on Industry 4.0 initiatives and enterprise asset tracking solutions

• Assembly Tasks
• Smart Factory Systems
• Cloud Computing
• +2 more

Johann Heinzelreiter serves as an FH-Prof. DI at the University of Applied Sciences Hagenberg, actively contributing to the Assistive Technology Lab and Center of Excellence for Smart Production . His research spans industrial automation, smart factory systems, and cloud computing applications in production environments. His research interests focus on assembly task modeling , low-cost tracking systems for industrial environments, and human-centered workplace design . Heinzelreiter develops practical solutions for real-world manufacturing challenges, particularly in optimizing human-machine collaboration on shop floors through the General Assembly Task Model (GATM) framework. Publication analysis reveals consistent contributions to industrial informatics, with recent work emphasizing smart factory implementation (2019-2020), cloud-based optimization (2014), and digital identity management (2015). His research demonstrates strong industry relevance through COIN Cooperation & Innovation projects. With an h-index of 34, Heinzelreiter has secured significant research funding through multiple COIN projects: Human Centered Workplace (2016-2021) - Co-Investigator Themis - Conserve Your Digital Life (2013-2015) - Principal Investigator BackmeUp - Offline Datensicherung Web 2.0 (2010-2012) - Principal Investigator He collaborates extensively with researchers including Pimminger, Kurschl, and Augstein across production environments and assistive technology domains. His work bridges academic research with practical industrial applications through the Smart Automation and Robotics initiative.