Find Academic Supervisors

• Formal Methods
• Cyber-Physical Systems
• Probabilistic Programming
• +4 more

Ezio Bartocci is a Full Professor in Formal Methods for Cyber-Physical Systems Engineering at TU Wien's Faculty of Computer Science. He leads the Trustworthy Cyber-Physical Systems (TrustCPS) Group within the Cyber-Physical System Research Unit. His research focuses on formal verification, probabilistic systems, and runtime monitoring, with applications in autonomous systems, safety-critical software, and embedded systems. Roles & Affiliations: Full Professor, TU Wien (100% research focus) Principal Investigator in projects funded by EU, WWTF, FFG, and industry partners Chair of the Curriculum Commission for Computer Engineering Editor-in-Chief of the Formal Methods in Outer Space series Research Interests: Formal methods for CPS: verification, synthesis, and runtime monitoring Probabilistic programming and loop analysis Temporal logic specifications and mining Automated tools for safety-critical systems (e.g., Polar, MoonLight) Applications in healthcare, robotics, and autonomous vehicles Key Projects: ProbInG (2020–2025): Analyzing probabilistic loops ARTIST (2021–2026): AI and robotics safety EdgeAI (2022–2025): Optimizing embedded processing TAIGER (2023–2027): Trustworthy AI and CPS Grants & Funding: €10M+ secured from EU Horizon 2020, WWTF, FFG, and industry partners like TTTech Auto AG. Academic Leadership: Teaches courses on logical methods, CPS engineering, and scientific research at TU Wien. Supervises PhD students in formal methods and CPS domains. Tools Developed: Polar (probabilistic loop analyzer), MoonLight (spatio-temporal monitoring), and FIM (fault injection tool).

• Optimizing Compilers
• Program Analysis
• Embedded Systems
• +4 more

Jens Knoop is a Full Professor at TU Wien, leading the Department of Information Systems Engineering (E194) and the Research Unit Compilers and Languages (E194-05). His roles include Head of Institute for Information Systems Engineering and membership in the Curriculum Commission for Informatics. He specializes in compiler design, program analysis, and embedded systems, with a focus on worst-case execution time (WCET) analysis and formal methods. His research interests span optimizing compilers, programming languages, and real-time computing. Notable contributions include the Platin tool suite for WCET analysis and contributions to the T-CREST project on time-predictable multi-core architectures. He has authored and edited multiple influential publications, including proceedings of international conferences such as Code Generation and Optimization (CGO) and ARCS. Professor Knoop has supervised numerous theses, including works on effect systems in Haskell, mutation testing in Rust, and robotic systems. He has received the Most Influential PLDI Paper Award (2002) for foundational work in compiler optimization.

• Algorithms
• Graph Neural Networks
• Problem decomposition techniques
• +4 more

Matthias Paul Lanzinger is an Assistant Professor at the Technische Universität Wien's Faculty of Informatics, Department of Database and Artificial Intelligence. His research focuses on algorithms, graph neural networks, hypergraph decomposition techniques, parameterized complexity, and computational logic. He leads projects like 'DeConquer' (Vienna Science Fund) and 'HyperTrac', exploring efficient query processing and hypergraph-based algorithms. Research interests include theoretical computer science, database systems, and applying logical frameworks to solve complex computational problems. Recent work emphasizes hypertree decompositions, fuzzy Datalog, and graph motif analysis via the Weisfeiler-Leman test. He co-edited the 2024 Datalog-2.0 workshop proceedings and has supervised students on topics like column-store performance and graph query languages. His publications span venues like ACM Transactions on Database Systems, ICLR, and IJCAI, highlighting contributions to algorithmic efficiency, database theory, and logical reasoning systems. Active in academic service, he teaches courses on database systems, scientific research, and advanced topics in informatics.

Joachim HermissonView profile

Professor

• Theoretical Population Genetics
• Mathematical Biology
• Molecular Evolution
• +13 more

Joachim Hermisson is a Professor of Mathematics and Biology at the University of Vienna, where he leads the Mathematics and Biosciences Group (MaBS). He is a principal investigator in the SFB Polygenic Adaptation and the founder of the evolVienna network, fostering collaboration in evolutionary biology across Vienna. His academic journey spans physics, philosophy, and evolutionary theory, reflecting a deeply interdisciplinary approach. Education: PhD in Theoretical Physics, University of Tübingen (1999); Habilitation in Evolutionary Biology, LMU Munich (2006) Appointments: Professor at University of Vienna (since 2012); Vienna Science Chair (2007–2012); Emmy Noether Group Leader, LMU Munich (2002–2007) Joachim Hermisson’s research lies at the intersection of theoretical population genetics and mathematical biology. He develops models to understand adaptation, speciation, and the role of polygenic traits under natural selection. His work integrates molecular and phenotypic approaches, focusing on coalescent theory, epistasis, robustness, and evolvability. He is particularly interested in how complex genetic architectures evolve and influence evolutionary trajectories. His recent publications reflect a strong emphasis on polygenic adaptation beyond classical selective sweeps, hybridization, introgression, and the genomic signatures of selection. The articles span mathematical modeling, stochastic processes, and genomic data analysis, demonstrating a consistent focus on theoretical innovation with empirical relevance. Marcus W. Feldman Prize in Theoretical Population Biology (2018) WWTF Vienna Science Chair (2006) Emmy Noether Fellowships (DFG, 2000–2007) Graduate Program Award, VolkswagenStiftung (2006) Doctoral Prize, University of Tübingen (1999) Hermisson has advised numerous PhD and Master’s students, many of whom have gone on to independent research careers at institutions such as MPI Cologne, University of Edinburgh, and University of Vienna. He has secured major grants from FWF, DFG, EU Marie Curie, and ERC programs. He serves as Associate Editor for Genetics and Evolution , and has been a referee for leading journals and funding agencies including Nature, Science, PNAS, and the ERC. He leads the MaBS group, a vibrant research team focused on mathematical modeling in evolutionary biology. The group includes postdocs, PhD students, and collaborators working on polygenic adaptation, speciation, and eco-evolutionary dynamics. The lab participates in the SFB Polygenic Adaptation and the Vienna Graduate School for Population Genetics, contributing to a strong training environment for early-career scientists.

• Visual Interfaces
• Interactive Data Exploration
• Human-Computer Interaction
• +3 more

Manuela Waldner is an Assistant Professor (tenure track) at TU Wien's Department of Computer Graphics and Visualization. She leads research in visual interfaces for exploring large-scale data, focusing on human-computer interaction and attention guidance in complex visualizations. Her work spans academic roles including Visualization Group membership and PhD Program Visual Heritage involvement. Research interests include: Interactive data exploration Guided visual attention mechanisms Emerging display environments (VR, multi-display systems) Publications emphasize practical applications of visualization techniques in domains like geographic data, medical imaging, and collaborative analytics. Notable projects include weBIGeo (geographic visualization) and Deskollage (visual information foraging). Awards include the Best Paper Award at EuroVA 2024 . Teaching roles include courses on Information Visualization , Computer Graphics , and Visual Computing . Active in academic service through program committees and editorial roles.

• Neurorehabilitation
• Stroke Recovery and Rehabilitation
• Personalized Medicine in Rehabilitation
• +7 more

Professor Valerie Pomeroy is a leading academic in neurorehabilitation at the University of East Anglia (UEA), where she holds the Chair in Neurorehabilitation within the School of Health Sciences. She is a member of the Norwich Institute for Healthy Aging, Lifespan Health, and leads research in acquired brain injury rehabilitation. Her work is supported by major funding bodies including the National Institute for Health and Care Research (NIHR) and NHS boards. PhD, University of Southampton, School of Medicine BA, GradDipPhys, Cambridge School of Physiotherapy Professional Qualifications: FCSP, Member of Association of Chartered Physiotherapists in Neurology, Society for Research in Rehabilitation, Stroke Society of Australasia Her research focuses on personalized neurorehabilitation , particularly in stroke recovery and rehabilitation . She investigates movement control , neural correlates of therapy response , and the mechanisms underlying impairment and recovery. Her program emphasizes Phase I and II clinical trials to inform larger efficacy studies, integrating biomechanical and neurophysiological methods. She actively explores functional strength training, telerehabilitation, and novel neuromodulation techniques. Recent publications highlight her work in telerehabilitation , mirror movement therapy , kinematic assessment of movement , and neurophysiological monitoring post-stroke. Her studies span dose-finding trials, reliability assessments, and protocol development for large-scale interventions. The overarching trend is toward precision rehabilitation—understanding which therapies work, for whom, and under what conditions. Scientific contributions include editorial leadership and national policy input: Associate Editor, Physiotherapy (since 1998) Contributor to national and international reports/position papers (since 2007) Professor Pomeroy leads or collaborates on multiple active research projects, including NIHR-funded trials on spatial neglect (SIGHT), brain injury rehabilitation, and the neural mechanisms of mirror therapy. She supervises and collaborates with a broad team of researchers, though specific students are not listed. Her work is conducted through the Acquired Brain Injury Rehabilitation Alliance at UEA, where she integrates clinical innovation with scientific rigor.

• Robotics
• Human-Robot Interaction
• Control Systems
• +5 more

Michael Hofbaur is a full Professor at the University of Klagenfurt, where he works in the Institute for Intelligent Systems Technologies within the Faculty of Technical Sciences. His office is located at Lakesidepark Haus B04, Ebene 2, Raum B04.2.206, and he can be contacted at michael.hofbaur@aau.at. Professor Hofbaur has established himself as a leading researcher in robotics with particular expertise in human-robot collaboration, safety systems, and formal verification methods for robotic applications. His research interests focus on the intersection of robotics, safety engineering, and human factors. Professor Hofbaur has made significant contributions to the field of robot safety, particularly in developing methods for safe human-robot collaboration without physical barriers. His work spans multiple dimensions of robotics including kinematic analysis, motion planning, sensor integration, and formal verification techniques to ensure system reliability. He has published extensively on topics such as obstacle avoidance strategies, proximity perception systems, and methods to enhance flexibility in collaborative workspaces while maintaining safety standards. Analysis of his recent publications reveals a clear trend toward integrating formal verification methods with practical robotics applications, particularly focusing on safety-critical aspects of human-robot interaction. His research increasingly incorporates advanced sensing technologies like radar and capacitive proximity sensors to create more intelligent and responsive robotic systems. The work demonstrates a progression from theoretical kinematic analyses toward practical implementations in industrial and collaborative settings, with a consistent emphasis on safety assurance throughout. Professor Hofbaur's research portfolio includes numerous projects related to robotic safety, formal verification, and human-robot collaboration, though specific awards directly attributed to him are not listed in the available materials. His work appears to have significant practical applications in industrial automation and collaborative robotics settings. While specific information about his students and advising activities isn't provided in the available materials, his extensive publication record spanning over two decades suggests he has likely supervised numerous graduate students and postdoctoral researchers. His research activities indicate involvement in both theoretical and applied projects, potentially including collaborations with industry partners given the practical nature of many of his publications. Based on his departmental affiliation and research focus, Professor Hofbaur is likely associated with robotics laboratories at the University of Klagenfurt that specialize in human-robot interaction, safety systems, and formal verification of robotic workflows. These facilities likely include experimental setups for testing collaborative robots, sensor integration systems, and simulation environments for verifying robotic behaviors before physical implementation.

• Statistics
• Data Science
• Machine Learning
• +4 more

Ursula Laa is an Assistant Professor at the Institute of Statistics , University of Natural Resources and Life Sciences, Vienna (BOKU) since 2020. Previously, she was a Postdoctoral Researcher at the Department of Econometrics & Business Statistics and School of Physics & Astronomy , Monash University (2017–2020), and earned her doctorate in particle physics at the University of Grenoble-Alpes , France (2014–2017). Her academic journey began with physics studies at the University of Vienna (2007–2014). Research Interests: She specializes in statistics, with a focus on data visualization, machine learning, computational statistics, and environmental statistics. Her work bridges high-dimensional data analysis with applications in particle physics and environmental studies, particularly in climate change and hydrology. Scientific Contributions: Ursula has actively contributed to projects involving climate change impacts on hydrological systems interactive visualization tools (lionfish, cubble, tourr) statistical modeling for environmental and particle physics data Her recent publications emphasize tour algorithms, projection pursuit, and spatiotemporal indexing, reflecting a blend of data science and domain-specific applications. Awards & Recognition: She has been a keynote speaker at DAGStat 2025 active participant in international conferences (EGU, useR!, Joint Statistical Meetings)

• Experimental Particle Physics
• High-Energy Physics
• Higgs Boson Physics
• +10 more

Emmerich Kneringer is an Associate Professor at the Institute for Astro- and Particle Physics, Faculty of Mathematics, Computer Science and Physics, University of Innsbruck. He is a key member of the Experimental Particle Physics research group and actively contributes to the ATLAS collaboration at CERN. His research focuses on experimental high-energy physics, particularly Higgs boson physics, top quark physics, electroweak interactions, and searches for physics beyond the Standard Model, including supersymmetry, dark matter, and exotic particles. He also works on advanced data analysis methods such as neural simulation-based inference and machine learning applications in particle physics. Dr. Kneringer's recent publications (2023–2025) show a strong trend in precision measurements (e.g., Higgs and top properties), combination of search results, and innovative analysis techniques. His work spans detector performance, cross-section measurements, and searches for new phenomena in proton-proton and heavy-ion collisions. He is actively involved in public outreach, delivering lectures on astronomy, cosmic radiation, and particle physics to schools and the public, including events like Masterclasses and the Long Night of Research. Experimental Particle Physics Higgs and Top Quark Physics Machine Learning in Physics Beyond Standard Model Searches Heavy-Ion Physics Dr. Kneringer has no listed scientific awards in the provided text. He advises no named students in the material. His research is conducted within the ATLAS collaboration, a large international team at CERN, and he contributes to both physics analysis and detector performance studies. He also participates in educational initiatives, including public lectures and training programs.

• Waste Management
• Circular Economy
• Resource Recovery
• +7 more

Stefan Petrus Salhofer is an Associate Professor at the University of Natural Resources and Life Sciences, Vienna (BOKU), affiliated with the Institute for Waste and Resource Management within the Department of Landscape, Water and Infrastructure. He holds a doctorate in agricultural sciences with a focus on waste management and has been an academic staff member since the early 1990s, achieving the rank of Associate Professor in 2002. His work spans research, teaching, and policy advising in waste and circular economy systems. His research interests include waste management, circular economy, e-waste recycling, resource efficiency, urban waste systems, and environmental assessment of products. He has led over 75 research projects, many funded by the EU, Austrian national agencies, and international organizations. His work often addresses developing country contexts, including China, Africa, Southeast Asia, and Latin America. He has published extensively, with recent articles focusing on plastic recycling, food waste prevention, lithium-ion battery recycling, and digital tools for waste reduction. The trends in his recent publications emphasize circular economy transitions, material recovery from complex waste streams (especially e-waste), environmental impacts of consumption, and capacity building in low-income regions. His work combines technical analysis with socio-economic and policy dimensions, reflecting a systems approach to sustainability. Awarded funding from the Jubiläumsfonds der Österreichischen Nationalbank for multiple projects. Principal investigator in EU Horizon 2020 and other international research consortia. Contributor to technical reports for the European Commission and international development agencies. He advises on waste policy and has mentored numerous researchers, though formal student lists are not publicly listed. He leads research teams and collaborates widely, particularly with experts in e-waste and urban metabolism. His lab focuses on waste characterization, recycling technologies, and circular economy modeling. He continues active research with projects ongoing through 2027.

Stefan ResmeritaView profile

Associate Professor

• Embedded Systems
• Real-Time Systems
• Software Timing Analysis
• +4 more

Stefan Resmerita is an Associate Professor and Deputy Head of the Department of Computer Science at the University of Salzburg, Faculty of Digital and Analytical Sciences. His office is located at Jakob-Haringer-Str. 2, Room 2.32, 5020 Salzburg, Austria, with contact number +43 662 8044-6406. His research focuses on embedded and real-time systems, particularly in the areas of software timing analysis, logical execution time paradigms, and model-based design for automotive applications. His work addresses challenges in migrating legacy embedded software to modern architectures while maintaining timing predictability and verification. He has extensively researched the Timing Definition Language (TDL) and developed the Validator Tool Suite for bridging the gap between software-in-the-loop and hardware-in-the-loop simulation environments. His publication record shows consistent contributions to real-time systems from 2022 back to 1997, with recent work focusing on fine-grained timing in Simulink models, data consistency in automotive multi-core applications, and efficient realization of logical execution times in legacy systems. His research demonstrates a clear trajectory from foundational work on hybrid systems and air traffic management toward contemporary challenges in automotive and embedded software systems. As Deputy Head of Department, he plays a significant administrative role within the Computer Science department while maintaining an active research profile in embedded systems engineering.

Martin BicherView profile

Researcher

• Agent-Based Modeling
• Simulation
• Epidemiology
• +3 more

Martin Bicher is a Researcher at the Institute for Information Systems Engineering (E194) within the Faculty of Informatics at Vienna University of Technology (TU Wien), affiliated with the E-Commerce Research Area and Network Lab. His work bridges computational modeling and public health, with a focus on agent-based simulation for epidemiological decision support. His primary research interests include Agent-Based Modeling , Simulation , and Epidemiology , with significant contributions to understanding SARS-CoV-2 transmission dynamics, vaccination strategies, and pandemic response systems. His methodology emphasizes Decision Support Systems that integrate multi-model approaches for real-world policy challenges, particularly evident in his extensive COVID-19 research portfolio spanning modeling, forecasting, and intervention evaluation. Analysis of his recent publications reveals a dominant focus on computational epidemiology, where he pioneers agent-based simulation frameworks for vaccination optimization, contact-tracing effectiveness, and variant surveillance. His work consistently integrates interdisciplinary perspectives—combining operations research, environmental science, and public health—to address complex pandemic dynamics, with notable methodological contributions in Monte Carlo simulation and integrated modeling frameworks. As an active FWF (Austrian Science Fund) project researcher, he collaborates extensively with institutions like the Complexity Science Hub Vienna, evidenced by frequent co-authorship with Nikolas Popper and Claire Rippinger. His leadership in the Network Lab drives innovation in simulation-based decision support for public health crises, with emerging work on election safety during pandemics and wastewater surveillance systems.

• Bayesian Statistics
• Time Series Analysis
• Econometrics
• +3 more

Gregor Kastner is Professor and Deputy Head of the Institute of Statistics at the University of Klagenfurt. His research focuses on Bayesian statistics, time series analysis, econometrics, and computational methods, with applications in finance, economics, and environmental modeling. He develops statistical software including packages for stochastic volatility modeling in R. Kastner's methodological work centers on Bayesian inference for high-dimensional problems, developing efficient computational algorithms for complex models. His applied research examines volatility dynamics in financial markets, macroeconomic forecasting, and spatial analysis of economic indicators. Recent projects include Bayesian nonparametric clustering for evaluating agricultural subsidies in Europe, sparse vector autoregressions for high-dimensional forecasting, and stochastic volatility models for commodity markets. He maintains active collaborations across economics, finance, and environmental science disciplines.

• Aerospace Engineering
• Space Technology
• Electric Propulsion
• +3 more

Carsten Scharlemann serves as the Head of the Master's Program in Aerospace Engineering at the University of Applied Sciences Wiener Neustadt within the Faculty of Technology. His research focuses on CubeSat missions, electric propulsion systems, and space environment measurements. Notable projects include CLIMB (exploring the Van Allen belt), SEESat (radiation dosimeter development), and DEEP (CubeSat testing capabilities). He leads collaborations in space technology and contributed to Austria's first ESA Lab initiative. His work emphasizes mission planning, satellite communication systems, and thermal vacuum testing. Research activities span CubeSat design, propulsion validation, and space weather analysis. Recent publications highlight advancements in ground segment operations, thermal testing, and lunar navigation systems. Scharlemann actively participates in international conferences and has secured project funding from institutions like FFG (Austrian Research Promotion Agency).

• Cyber-Physical Systems
• Formal Verification
• Programmable Logic Controllers
• +3 more

Ignacio David Lopez Miguel is a PreDoc Researcher at the Cyber-Physical Systems department of Vienna University of Technology (TU Wien). His research focuses on formal verification techniques for safety-critical systems, particularly in the context of Programmable Logic Controllers (PLCs) used in industrial and high-stakes environments like CERN's Large Hadron Collider (LHC) cooling systems. Current projects include TAIGER (2023–2027), addressing neural network verification for PLC code. Collaborates with institutions such as CERN, GSI, and NASA on safety-critical control systems. Research Themes : Integration of formal verification with AI/ML components Runtime enforcement in cyber-physical systems Ethical considerations in engineering design Automated translation of natural language requirements to formal specifications His work spans interdisciplinary domains, connecting computer science, control theory, and engineering ethics through rigorous verification methodologies.