Michele Chiari is a PostDoc Researcher at TU Wien's TrustCPS Group led by Prof. Ezio Bartocci. Previously, he was a PhD candidate and PostDoc at Politecnico di Milano's DEIB in the DeepSE group. His primary affiliations include TU Wien and the TrustCPS group, with a focus on formal verification and cyber-physical systems. Education: PhD candidate and PostDoc at Politecnico di Milano's Department of Electronics, Information, and Bioengineering (DEIB). Research interests include formal methods for safety-critical systems, temporal logic, automata theory, model checking for recursive probabilistic programs, infrastructure-as-code modeling (DOML), floating-point computation verification, and approximate computing. Research highlights: Development of POTL (Probabilistic Operator Temporal Logic), model checkers for operator precedence languages (POMC), and contributions to the PIACERE and CORPORA projects. His work bridges theoretical formal methods with practical applications in software engineering and embedded systems. Key projects include leadership of the EU-funded MSCA PF CORPORA project (2023–present) and contributions to the PIACERE H2020 initiative. Collaborations include tools like TAFFO (floating-point precision tuner) and DOML (Infrastructure-as-Code modeling framework). Labs/Teams: Core member of TU Wien's TrustCPS Group and former contributor to Politecnico di Milano's DeepSE Group. Active in conferences like CAV, RV, and CAiSE, with recent service roles on OOPSLA and RV program committees.
Michele Collevati is a PreDoc Researcher at TU Wien's Faculty of Informatics, affiliated with the Institute of Logic and Computation. He teaches courses such as 'Introduction to Knowledge-based Systems' and 'Introduction to Artificial Intelligence.' His research focuses on neurosymbolic AI, SAT solving, and GPU parallelism. He contributes to the LCS project (2017–2025). His work bridges symbolic AI with neural networks and computational optimization. Education: Not explicitly stated in provided texts. Research interests include neurosymbolic integration, knowledge representation, and parallel computing for AI. His 2024 work on slice discovery via neurosymbolic AI exemplifies his focus on hybrid systems. Earlier work explored GPU-based optimizations for SAT solvers, reflecting an interest in computational efficiency. No scientific awards are mentioned. No advised students listed. Labs/Teams: Likely involved with the Institute of Logic and Computation's research groups, though specific lab names are not provided.
Yannic Maus is a Professor at Graz University of Technology, affiliated with the Institute of Algorithms and Theory and the Institute of Software Engineering and Artificial Intelligence. His research focuses on distributed computing, graph algorithms, and theoretical computer science. He holds a PhD and multiple bachelor’s and master’s degrees in Computer Science. His work emphasizes distributed graph coloring, locality in algorithms, and massively parallel computing. He has contributed to foundational results in distributed algorithms, including optimal edge coloring and coloring hyperbolic random graphs. His research bridges theoretical insights with practical distributed systems challenges. Education: PhD in Natural Sciences (Dr.rer.nat.), B.Sc. and M.Sc. in Computer Science Key research interests include distributed algorithms for graphs, Lovász Local Lemma applications, and algorithmic efficiency in dynamic networks. His publications explore topics like ruling sets in trees, exponential speedups in MPC models, and adaptive coloring techniques for sparse graphs. He has also investigated the algorithmic small-world phenomenon and connectivity in forests using deterministic approaches. Yannic Maus’s work often addresses theoretical lower bounds and upper limits in distributed computing, with applications to real-world networked systems. His contributions span conferences like DISC and SoCG, focusing on both foundational problems and their algorithmic solutions.
Prof. Frans Plank is a distinguished linguist holding dual appointments as Professor of Linguistics and English Language at the University of Konstanz (Germany) and Senior Research Fellow at Somerville College, University of Oxford (UK). His career spans over four decades, with professorships at institutions such as the University of Aarhus (Denmark) and Universität Hannover (Germany). He has served as Dean of the Faculty of Arts at Konstanz and Chair of its Linguistics Department and Sonderforschungsbereich 471. Plank earned academic degrees from Universität Regensburg, University of York, and University of Edinburgh, culminating in a Dr. phil. from Universität Hannover (1980) and a Habilitation in Linguistics (1981). His research focuses on linguistic typology, historical linguistics, Germanic languages, morphology, syntax, and the history of linguistic thought. His work bridges theoretical and empirical linguistics, with contributions to the study of valence orientation, categorial change, and phonological phrasing. He founded Linguistic Typology journal (1997) and the Association for Linguistic Typology (1994). Over 150 papers and 7 edited volumes reflect his prolific output, including seminal works on Maltese noun phrases and double case systems. Recognition includes his 2014 election as Senior Research Fellow at Oxford and editorial leadership roles at major journals like Transactions of the Philological Society . His research also extends to interdisciplinary studies, such as the parallels between linguistics and geology in 19th-century science.
Dr. Zomaya is the Chair Professor of High Performance Computing & Networking and Founding Director of the Centre for Distributed & High Performance Computing at the University of Sydney, Australia. He has held leadership roles including Deputy Head of School and Head of School at The University of Western Australia and the University of Sydney. A Fellow of AAAS, IEEE, and IET, he leads research in distributed computing systems, sustainable computing, and edge intelligence. His research spans parallel/distributed computing, energy-efficient systems, and cloud/edge technologies. He has published over 600 papers, authored/edited 20+ books, and secured $22M+ in funding from ARC, Cisco, IBM, and others. He currently supervises 12 PhD students and has mentored 35 PhD completions. Key awards include the ACM MSWIM 2017 Fessenden Award and IEEE Technical Achievement Award (2014). He serves as Editor-in-Chief of IEEE Transactions on Sustainable Computing and has chaired over 700 conferences. His current projects focus on data analytics over cloud/edge platforms and holistic energy-aware scheduling for distributed systems.
Dr Darko Stojanovski is a prehistoric archaeologist from North Macedonia who currently works as a post-doctoral researcher in the Prehistoric Phenomena Research Group of the Austrian Archaeological Institute (OeAI, Austrian Academy of Sciences, Vienna). In parallel he has served since 2022 as Lecturer in Prehistoric Archaeology at Goce Delčev University in Štip. Since 2019 he directs excavations at the Neolithic site of Amzabegovo (Barutnica) and since 2017 co-directs the Paleolithic Research in Eastern Macedonia project. Education BA in Archaeology, University of Veliko Tarnovo (2007) MA in Quaternary and Prehistory (Erasmus Mundus), University of Ferrara (2010–2012) PhD in Quaternary and Prehistory (Erasmus Mundus), joint programme University of Ferrara / Polytechnic Institute of Tomar / University of Trás-os-Montes e Alto Douro (2014–2017) Research Interests Dr Stojanovski’s work centres on Neolithic socio-economic and cultural change in the Balkans , integrating ceramic technology, human-environment interaction and GIS-based spatial analysis. He explores how pottery production, subsistence strategies (especially dairying) and settlement patterns articulate with broader processes of Neolithization, using cutting-edge methods such as organic residue analysis and geo-spatial modelling. Current projects apply high-resolution GIS to reconstruct activity areas at Amzabegovo and Svinjarichka Chuka along the Vardar–Morava Neolithic Corridor , while his earlier Bristol-based research produced ground-breaking data on lipid residues in Iberian Neolithic ceramics. From 2018 he contributed to the ERC BIRTH project at the Biosense Institute, examining Neolithic human nutrition across the Balkans. Publication Trends Between 2018 and 2025 Stojanovski has authored or co-authored more than twenty articles. The corpus is dominated by site reports and technological analyses of Middle Palaeolithic and Neolithic locales in Macedonia, Portugal and the wider Balkans. A clear trajectory is visible from descriptive excavation reports to methodologically advanced residue and isotope studies that illuminate prehistoric diet, dairying and ceramic technology. Recent works increasingly integrate geo-spatial and bioarchaeological datasets , reflecting his dual expertise in field archaeology and laboratory science. Awards & Fellowships Erasmus Mundus Master Scholarship (2010–2012) Erasmus Mundus PhD Fellowship (2014–2017) ERC BIRTH Project Post-doctoral Fellowship, Biosense Institute, University of Novi Sad (2018) Grants & Field Projects Project Director, Excavations at Amzabegovo (Barutnica) (2019–present) Co-Director, Paleolithic Research in Eastern Macedonia (2017–present) Principal Investigator, The Vardar–Morava Neolithic Corridor: Embedding Data and Building Narratives Principal Investigator, NEOSOL: Soil Archives of Neolithization along the Vardar–Morava Laboratory & Team Affiliations At the Austrian Archaeological Institute he works within the Prehistoric Phenomena Research Group , collaborating closely with colleagues in Vienna on comparative Neolithic studies. Field teams under his direction include graduate students and volunteers from Goce Delčev University and international partner institutions, ensuring vibrant training opportunities and cross-border scientific cooperation.
Markus Steinberger is an Associate Professor at Graz University of Technology (Austria), leading the GPU Computing and Visualization Group at the Institute for Computer Graphics and Vision. He holds an MSc and PhD in Computer Science from TU Graz, with a postdoc and multiple leadership roles in academic and industry labs, including NVIDIA and the Max Planck Institute. His research focuses on GPU scheduling, parallel computing, and high-performance visualization techniques. He has led teams at TU Graz, Huawei Technologies (Cloud Rendering Lab), and the Max-Planck-Center for Visual Computing. Education 11/2020: Habilitation in Practical Computer Science at TU Graz 10/2013: PhD in Computer Science (Dynamic Resource Scheduling on Graphics Processors) 10/2010: MSc in Telematics 10/2005: BSc in Telematics Research Interests Steinberger’s work centers on optimizing GPU computing for real-time rendering and parallel processing. He explores efficient resource scheduling, dynamic graph management, and high-performance visualization techniques, with applications in cloud rendering, scientific visualization, and interactive graphics. His methods emphasize scalability and real-world applicability in both academic and industrial settings. Awards Heinz Zemanek Prize (2016) – First Austrian recipient GI Dissertation Prize (2014) – Best dissertation in German-speaking computer science Multiple Eurographics Best Paper Awards (2021, 2020, 2014) HPEC Best Student Paper (2017) ACM CHI Honorable Mention (2014) Advising & Grants Steinberger has advised numerous students and led projects funded by EU initiatives and industry partnerships. His research has been recognized through grants supporting GPU scheduling, cloud rendering, and parallel computing. Labs & Teams Leads the GPU Computing and Visualization Group at TU Graz and directed the Cloud Rendering Lab at Huawei, focusing on scalable rendering solutions for distributed systems.
Prof. Nysret Musliu is an Associate Professor at TU Wien's Department of Databases and Artificial Intelligence within the Faculty of Informatics. His primary affiliation is with the E192-02 research area, focusing on optimization, scheduling, and AI applications. He leads projects like 'Artificial Intelligence in Employee Scheduling' and 'Predictive Analytics for Emergency Call Infrastructure,' demonstrating expertise in combinatorial optimization and real-world problem-solving. Academic Rank: Associate Professor Institution: TU Wien Key Projects: AI-driven scheduling, constraint programming, metaheuristics Research interests include scheduling algorithms, constraint programming, and hybrid optimization methods. His work bridges theoretical advancements with industrial applications, addressing challenges in manufacturing, healthcare, and transportation. Recent publications emphasize hyper-heuristics, large neighborhood search, and AI integration for complex scheduling problems. Notable contributions include systematizing test laboratory scheduling and developing exact methods for oven scheduling. His research group collaborates on projects involving personnel scheduling, production leveling, and parallel machine optimization.
Thomas Eiter is a Professor at TU Wien's Institute of Logic and Computation. His research focuses on declarative programming paradigms, knowledge representation, and artificial intelligence. He leads projects in neurosymbolic systems, answer set programming (ASP), and stream reasoning, with applications in visual question answering, scheduling optimization, and semantic scene generation. Eiter has contributed to foundational work in ASP semantics, computational complexity, and hybrid reasoning frameworks. His work bridges logical formalisms with practical AI challenges, emphasizing explainability and scalability. Projects like ALASPO and neurosymbolic integration showcase his focus on advancing both theoretical and applied aspects of AI. Projects: HumanE AI Network, WASP, REWERSE Research Themes: Neurosymbolic AI, Answer Set Programming, Stream Reasoning Notable achievements include pioneering work on semiring-based reasoning frameworks and developing efficient ASP solvers like Alpha. His contributions span over 471 publications, emphasizing interdisciplinary applications in computer vision, robotics, and automated planning.
Daniel Cornel is a researcher affiliated with TU Wien's Department of Engineering Hydrology, part of the E222-02 research group. He holds a Dipl.-Ing. (engineering diploma) and a Dr.techn. (technical doctorate). His work focuses on integrating computational methods with environmental hydrology, emphasizing flood modeling, high-performance computing, and geospatial visualization. Cornel collaborates extensively with experts like Prof. Günter Blöschl and Prof. Jürgen Waser on projects such as the HORA 3.0 flood risk zoning initiative. His research interests span GPU-accelerated flood simulations, hydrodynamic modeling at regional scales, and decision-support systems for disaster management. Notable contributions include developing interactive visualization tools for real-time flood data and VR-based training modules for emergency response. Cornel also explores algorithm optimization for terrain modeling and subsurface network visualization. Key projects include the 'Integrated Simulation and Visualization for Flood Management' framework and the 'Master of Disaster' VR training system. His work bridges computational science with environmental engineering, addressing both technical challenges and practical applications in flood risk mitigation.
Andreas Buttinger-Kreuzhuber is affiliated with the Department of Engineering Hydrology at TU Wien. His research focuses on advanced hydrodynamic modeling, GPU-accelerated flood simulations, and integrating geospatial data for flood risk assessment. He contributed to projects like HORA 3.0, a national flood risk mapping initiative, and developed frameworks for high-resolution simulations of urban and rural flash floods. His work bridges computational science and environmental engineering, emphasizing real-world applications in disaster management and urban planning. Education: Dipl.-Ing. (FH) in Civil Engineering, Dr.techn. (PhD) in Technical Sciences, and BSc in a related field. Notable research themes include shallow-water schemes optimization, interactive visualization tools for flood management, and nanopore fluid dynamics. His interdisciplinary approach combines hydraulic modeling with geomatics and computational fluid dynamics. Collaborations include work with Prof. Günter Blöschl and the Network Lab at TU Wien. Recent efforts focus on accelerating hydrodynamic simulations using GPU technology and improving regional-scale flood modeling accuracy.
Nicole Borth is Associate Professor (associate Univ.Prof.) at the University of Natural Resources and Life Sciences, Vienna (BOKU) and Deputy Head of the Institute of Animal Cell Technology and Systems Biology . Her work sits at the intersection of cell engineering, systems biology and biopharmaceutical manufacturing, with CHO and HEK293 cells as primary platforms. Research in a nutshell: Genome-wide CRISPR/Cas deletion and activation screens to map essential loci and boost recombinant protein titres. Epigenetic and synthetic-biology toolboxes (dCas9-DNMT, synthetic promoters, RNA devices) for multiplexed gene-control. Glyco-engineering and biomarker discovery to optimise critical quality attributes of monoclonal antibodies. Low-cost, animal-component-free media design and microfluidic single-cell cloning to shorten development timelines. Between 2022-2025 her group released a rapid succession of papers exploiting nanopore Cas9-targeted sequencing to pinpoint transgene integration sites, unveiled novel stress-biomarkers for difficult-to-express mAbs, and provided public-domain glyco-analytics for the NIST CHO reference line. Parallel projects apply similar tool-chains to AAV production in HEK293 and characterise human diamine oxidase biopharmaceuticals. Awards & funding: Specific prizes not enumerated in supplied text; however, the volume and recency of high-impact publications indicate sustained competitive funding. Contact: nicole.borth@boku.ac.at | Tel +43 1 47654-79064 | Muthgasse 11, 1190 Vienna, Austria.
Eduard Vorobiev is a researcher affiliated with the Faculty of Earth Sciences, Geography and Astronomy, specializing in astrophysics. His work focuses on star formation, protoplanetary disks, and computational methods for high-performance astrophysical simulations. Research interests include: Protostars and accretion bursts Protoplanetary disk dynamics Gravitational instability in stellar systems Young stellar objects and disk winds Computational astrophysics with hybrid parallelization ALMA observational constraints Recent publications highlight his contributions to modeling high-mass star formation and optimizing Fortran-based simulations. He participates in academic events like the Graz Vienna Exoplanet Science Meetings and leads research projects on star formation and galaxy evolution. His work involves collaborations with institutions using ALMA surveys and gravitational instability analysis.
Peter Kulczycki is a researcher at the Research Center Hagenberg Bioinformatics, University of Applied Sciences Hagenberg. He serves as a Researcher specializing in bioinformatics and high-performance computing with expertise in developing computational solutions for biological research challenges. His research interests span multiple domains: Bioinformatics and computational biology High Performance Computing and parallel processing Intelligent scheduling algorithms Resource management systems DNA analysis and primer design Web-based bioinformatics education Dr. Kulczycki's work focuses on bridging computational science and biological research through efficient algorithms and systems for processing complex biological data. He has made significant contributions to scheduling systems that optimize heterogeneous computing resources for bioinformatics applications, with research progression from foundational bioinformatics resources to sophisticated scheduling systems that predict job execution times. His publication record shows consistent focus on computational efficiency in bioinformatics through innovative scheduling approaches, with notable work on heterogeneous multiplatform hardware, DNA primer calculation using GPGPUs, and web-based bioinformatics education frameworks. Dr. Kulczycki served as Principal Investigator for the Bioinformatics Resource Facility Hagenberg project (2009-2012) under the COIN Cooperation & Innovation program. He has been active in academic discourse, delivering invited talks on Evolution and Genetics and the Birth of Life in 2007. His research collaborations include G. Lirk, H. Brandstätter-Müller, B. Parsapour, and A. Hölzlwimmer on various bioinformatics projects.
Kyrylo Simonov is an active researcher at the Faculty of Mathematics, Institute of Mathematics, focusing on quantum foundations and mathematical physics. His current work centers on quantum causality and thermodynamics, with ongoing leadership of the "Quantum Causality: Mathematical and Practical Aspects" project (2024-2027). His research spans quantum information theory, particle physics, and mathematical foundations, with particular expertise in indefinite causal orders, quantum thermodynamics, and tests of quantum-classical boundaries. Recent work demonstrates significant contributions to quantum resource theory and foundational tests using meson and neutrino oscillations. Publication trends since 2016 show evolution from particle physics (meson oscillations, 2016-2019) toward advanced quantum information theory (quantum causality, thermodynamics, 2022-2025). His 26 publications include theoretical frameworks for quantum processes with indefinite time direction and practical applications in quantum communication. International collaborations are evident through co-authorship with researchers across multiple countries, though specific lab affiliations aren't detailed in available materials.
