Andreas Krall is an Associate Professor in the Department of Software Technology at TU Wien's Faculty of Informatics. He holds roles as Curriculum Coordinator for the Bachelor Informatics and Bachelor Software and Information Engineering programs, and serves as a Substitute Member of the Curriculum Commission for Informatics. His research focuses on compiler design, architecture description languages (e.g., VADL), and formal methods for ensuring correctness in compiler-processor co-design. Key research areas include computer architecture, compiler verification, embedded systems, and the development of tools for processor simulation and optimization. Krall has led projects such as 'Correct Compilers for Correct Processors' (2010–2015) and contributed to the CACAO JVM project. He has published extensively on topics like instruction selection, abstract state machines (CASM), and SSA-based optimizations. Notable awards include the Heinz Zemanek Preis (1987). His work spans over 30 years, with contributions to both academic research and industry-relevant tools like the VADL architecture description framework. Krall has advised numerous students in topics ranging from compiler backends to garbage collection algorithms.
Benedikt Lukas Huber serves as a PreDoc Researcher at TU Wien's Faculty of Informatics within the Compilers and Languages research group (Institute E194-05), located at Argentinierstrasse 8, Room EA0402. His primary affiliation centers on compiler technologies and system architecture research. His research spans Compilers , Programming Languages , and Computer Architecture , with specialized focus on architecture description languages and compiler optimization techniques like software pipelining. Recent work demonstrates sustained innovation in formal system modeling and performance-critical code generation. Publication analysis reveals consistent contributions to compiler infrastructure, particularly through the Vienna Architecture Description Language (2024) and foundational software pipelining research (2008), highlighting expertise in bridging hardware constraints with high-level language design. No scientific awards or fellowships were documented in available sources. Information regarding student advising, research grants, or leadership roles remains unspecified beyond his core research group affiliation. He operates within TU Wien's Compilers and Languages research ecosystem, contributing to compiler design and system architecture initiatives under the Institute of Engineering Mathematics and Computing Science.
Petter E. Bjørstad is a Professor of Computer Science and Mathematics at the University of Bergen, Norway, where he has served as Head of the Department of Informatics since 2010. Previously, he was Director of the Bergen Center for Computational Science (2000-2010) and Professor in both the Department of Mathematics (2006-2010) and Department of Informatics (1985-2005). He also held a position as Professor of Mathematics at the University of Minnesota during 1996-1997 on unpaid leave from Bergen. Dr. Bjørstad earned his PhD in Computer Science from Stanford University in 1980, following which he completed a postdoctoral fellowship at the Courant Institute of Mathematical Sciences at New York University. Before entering academia, he worked as a Principal Engineer at Det Norske Veritas from 1981-1985. Dr. Bjørstad's research focuses on numerical analysis and high-performance computing, with particular expertise in domain decomposition methods, parallel algorithms for elliptic partial differential equations, and scientific computing. His work bridges theoretical mathematics with practical computational challenges, especially in industrial applications. He has led significant research projects including 'Multiscale Domain Decomposition: Algorithms and Analysis' (2010-2014), funded by the Research Council of Norway and the University of Bergen. His publication record demonstrates consistent contributions to the field of numerical methods and parallel computing over several decades. The research trends show a strong focus on developing efficient algorithms for solving partial differential equations through domain decomposition techniques, with applications spanning structural analysis, reservoir simulation, semiconductor device modeling, and other industrial contexts. His work increasingly emphasizes practical implementation on modern parallel architectures including SIMD and MIMD systems. Large number of research grants from Norway and the European Union Dr. Bjørstad has been actively involved in mentoring students and collaborating with industry through projects like the Europort effort, where industrial codes were ported to parallel computing platforms. His laboratory for parallel computing (Parallab) has been instrumental in advancing practical applications of high-performance computing since its establishment in 1985 with Europe's first 64-processor Intel hypercube. The lab has evolved to include multiple MIMD machines including an Intel Paragon, Parsytec GC/Power-Plus, and DEC α-cluster. As Head of the Department of Informatics, Dr. Bjørstad leads one of Norway's premier computing research units with expertise spanning theoretical computer science, numerical methods, and practical applications in various scientific domains. His leadership has helped establish Bergen as a significant center for computational science in Europe.
Peter Puschner is an Associate Professor at Vienna University of Technology (TU Wien), affiliated with the Cyber-Physical Systems Research Area. His work focuses on real-time systems, worst-case execution time (WCET) analysis, and time-predictable code execution. Key research areas: Real-Time Systems, Single-Path Code, Time-Triggered Networks, Cache Architectures Advisor to multiple thesis students including Michael Platzer and Bekim Cilku Co-developer of tools like the platin Toolkit for WCET analysis Recipient of Best Paper Award at ECRTS 2015 for Requirement Semi-formalization Methodology for SoC Design
Wolfgang Schreiner is an A.Univ.-Prof. (Associate University Professor) at the Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. His research focuses on formal methods, parallel and distributed computing, and symbolic computation. He leads projects in automated reasoning, programming language semantics, and educational software tools. His work emphasizes practical applications of formal methods, including the development of tools like RISCAL for model checking and the RISC ProgramExplorer for program reasoning. He collaborates on interdisciplinary projects, such as analyzing queueing systems using probabilistic model checking and designing grid computing frameworks for medical applications. Key research interests include semantics-based language design, theorem proving, and educational technology. He has authored textbooks like *Concrete Abstractions* and *Thinking Programs*, emphasizing foundational concepts in computer science. His contributions span theoretical advancements and practical implementations, with notable work in distributed systems, formal verification, and computational logic.
Manuel Hermenegildo is a Full Professor at the Technical University of Madrid (UPM) and Director of the IMDEA Software Research Institute in Spain. He held the Prince of Asturias Endowed Chair at the University of New Mexico (2003-2008) and was previously a project leader at MCC (1986-1989) and Adjunct Associate Professor at the University of Texas at Austin (1987-1990). Education: M.S. and Ph.D. in Computer Engineering, University of Texas at Austin (1986) Engineer's Degree in Electrical and Telecommunications Engineering, Technical University of Madrid (1981) His research spans programming language design , abstract interpretation-based analysis , parallelizing compilers , and parallel/distributed processing . His work integrates theoretical advances with practical implementations like the Ciao system and PiLLoW library. Recent publications focus on parallelization , program verification , mobile code security , and distributed programming . Key methodologies include abstract interpretation , constraint logic programming , and compiler optimization . Scientific Awards: ACM Fellow Julio Rey Pastor Prize (highest Spanish national award in Mathematics and ICT) Aritmel Prize in Computer Science President of the Association for Logic Programming He has led numerous national and international projects, served as area editor for journals like Theory and Practice of Logic Programming , and participated in EU advisory committees (ISTAG, CREST). His work on the Abstraction Carrying Code (ACC) approach advances mobile code safety and trusted computing.
Christoph Koch is an Associate Professor at Technische Universität Wien specializing in databases and artificial intelligence. His research spans database theory, complexity theory, and logic in computer science, with a focus on XML processing, query optimization, and parallel data science techniques. Lead projects: KnowledgeGraph (2020–2028), HINT (2012–2017), Weblearn (2005–2008) Developed the Lixto visual extraction system and contributed to DLV knowledge representation framework Supervised T. Lukasser's diploma thesis on XPath query processing
Dietmar Schreiner is a Senior Lecturer at TU Wien's Faculty of Informatics within the Department of Compilers and Languages. His research focuses on compiler optimization, real-time systems, robotics software engineering, and component-based automotive software. He has contributed to major projects like C3Pro (2010–2015) and ALL-TIMES (2007–2010), addressing challenges in embedded systems and automotive software. He advises students on robotics and embedded systems projects, including thesis works like 'Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform League' (2011) and 'Reasoning capabilities for a cognitive-assistive assembly system' (2017). He is actively involved in the Austrian Kangaroos robotics team and has received the Best Poster Award at SAC 2007 for work on UML-based component modeling. His teaching responsibilities include courses such as 'Introduction to Programming 1', 'Programming Principles of Mobile Robotics', and 'Fundamentals of Digital Systems'. He has also contributed to EU and national grants, advancing research in timing analysis and automotive system software.
Johann Blieberger is an Associate Professor and Head of the Institute of Computer Engineering at Technische Universität Wien. He also leads the Automation Systems Research Unit (E191-03) and serves as a Principal Member of the Faculty Council. His work focuses on real-time systems, concurrent programming, railway operation optimization using Kronecker Algebra, static analysis, and Ada programming. Key projects include developing simulation tools for sustainable public transport (2021–2023), coordinating autonomous vehicles in pedestrian environments (2017–2019), and optimizing railway systems via Kronecker Algebra (e.g., the Zagreb-Rijeka line). He has secured grants from the Austrian Research Promotion Agency (FFG) and Austrian Science Fund (FWF). Blieberger’s research interests span weak memory models, symbolic evaluation, and algorithm analysis. He actively contributes to the ISO JTC1/SC22/WG9 committee for Ada language development. His advising spans multiple PhD and master’s theses, including work on concurrent program verification and Kronecker Algebra applications.
Rudolf Freund is a retired Professor at the Vienna University of Technology (TU Wien), affiliated with the Department of Theory and Logic (E192-05) under the Faculty of Informatics. His research focuses on formal languages, membrane computing (P systems), theoretical computer science, and bio-inspired computational models. He has contributed extensively to areas such as infinite words, graph grammars, molecular computing, and neural networks. Freund has held roles including editor for conference proceedings (e.g., NCMA 2019) and has taught courses like Formal Language Theory and Introduction to Clinics. His work often bridges theoretical foundations with practical applications in computing systems, emphasizing formal verification and computational completeness. His research has been published in journals like Natural Computing and Theoretical Computer Science , exploring topics such as derivation modes in P systems, reactive membranes, and computational models for Boolean networks. Despite retirement, he remains active in academic activities, including organizing workshops and contributing to conferences on unconventional computing. Freund's expertise spans membrane computing variants, automata theory, and regulated rewriting systems, with a focus on advancing computational paradigms inspired by biological processes.
Berry Gérard is a distinguished Professor at Collège de France, holding the Chair in Algorithms, Machines, and Languages since 2012. He previously served as Director of Research at INRIA Sophia Antipolis and Chief Scientist at Esterel Technologies. His academic journey includes roles at École des Mines de Paris and École Polytechnique. Gérard specializes in models of computation, programming language design, and synchronous systems. He has contributed significantly to the development of the Esterel language for embedded systems and formal verification techniques. Education: Docteur d’Etat in Mathematics, Université Paris VII (Computer Science option), 1979 Ingénieur des Mines, Corps National des Ingénieurs des Mines, 1970 École Polytechnique, 1967 Research Interests: Focuses on computational models (e.g., lambda-calculus, synchronous concurrency), programming languages (Esterel, Hop/HipHop), circuit synthesis, and formal verification. His recent work explores diffuse programming and web orchestration. Key Awards: 2014: Médaille d'or du CNRS 2005: Member, Académie des technologies 1993: Member, Academia Europaea 1979: Bronze Medal of CNRS Professional Roles: President of the Council of Education and Research at École Polytechnique Member of the Scientific Council of IRCAM Former President of the INRIA Evaluation Committee Labs/Teams: Active in INRIA’s Indes project on diffuse programming and collaborates with IRCAM on real-time music systems.
Ivona Brandić is a University Professor for High Performance Computing Systems at TU Wien's Institute of Software Engineering and Interactive Systems. Born in Gradačac, Bosnia and Herzegovina, she moved to Austria in 1992 as a refugee during the Bosnian War. She earned a master's degree (2002) and doctorate (2007) in business computer science from TU Wien and completed her habilitation in applied computer science there in 2013. Her career includes roles as an assistant professor (University of Vienna, 2002–2007) and postdoctoral researcher (University of Melbourne, 2008). She transitioned to a tenure-track position at TU Wien in 2014 and became a full professor in 2016. Brandić’s research focuses on cloud computing, energy-efficient ultra-scale systems, and hybrid quantum-classical computing. She has been recognized with the MiA Award (2011), the Austrian Science Fund's Start-Preis (2015), and membership in the Austrian Academy of Sciences' Young Academy (2016). Her work emphasizes sustainable computing, edge systems, and optimizing resource management for distributed applications. Education: Bachelor's degree in Business Informatics (University of Vienna/TU Wien) Master's in Business Computer Science (University of Vienna, 2002) PhD in Applied Computer Science (TU Wien, 2007) Habilitation in Practical Computer Science (TU Wien, 2013) Research Interests: Brandić’s work spans cloud computing, energy efficiency in HPC systems, edge computing, and quantum-classical hybrid systems. She explores autonomic resource management, distributed system resilience, and sustainability in ultra-scale infrastructures. Her projects often address real-world applications like drug design, environmental monitoring, and smart energy grids. Publications: Her 2009 paper Cloud Computing and Emerging IT Platforms is a seminal work in the field. Recent publications focus on quantum-edge integration, energy optimization in AI models, and adaptive edge analytics frameworks. These contributions highlight trends toward sustainable, distributed, and hybrid computational paradigms. Awards: 2011: MiA Award for distinguished contributions by international backgrounds 2015: Austrian Science Fund’s Start Prize 2016: Austrian Academy of Sciences Young Academy Membership Advising & Grants: Brandić leads research groups and has secured grants for projects like NESSUS (energy-efficient cloud systems) and CHIST-ERA’s SDCDN (distributed networks). She mentors students in HPC, edge computing, and quantum systems. Advised topics include workload scheduling, fault tolerance, and energy-aware algorithms. Labs & Teams: She directs research on autonomic cloud management, edge intelligence frameworks (e.g., Sea-LEAP, FRESCO), and quantum-classical workflow systems (RIGOLETTO). Her teams collaborate internationally, integrating academia and industry for scalable, sustainable solutions.
Thomas Eiter is a Full Professor at the Vienna University of Technology (TU Wien) in the Department of Knowledge-Based Systems, Faculty of Informatics. His research focuses on artificial intelligence, knowledge representation and reasoning, logic programming, computational logic, and neurosymbolic AI integration. He leads projects in declarative problem-solving, intelligent agent systems, and stream reasoning frameworks like LARS. Eiter has contributed to foundational work in answer set programming (ASP), algebraic reasoning, and their applications in scheduling, robotics, and real-time data processing. He has extensive international collaborations, including EU-funded projects like HumanE-AI-Net and the Austrian Science Fund (FWF) initiatives. His work emphasizes bridging symbolic AI with modern machine learning techniques, particularly in visual question answering and neural-symbolic systems. Eiter has supervised numerous PhD students and maintains active roles in academic leadership, including editorial boards of journals like Theory and Practice of Logic Programming . Key contributions include development of the DLVHEX system for hybrid knowledge representation, optimization frameworks for ASP, and methodologies for stream reasoning in dynamic environments. His research also addresses ethical AI through projects like the TAIGER initiative, focusing on training AI agents with ethical rules.
Minyi Guo is a Chair Professor and Head of the Department of Computer Science and Engineering at Shanghai Jiao Tong University (SJTU), China. Previously, he served as Professor and Department Chair at the School of Computer Science and Engineering, University of Aizu, Japan. Dr. Guo received his BSc and ME degrees from Nanjing University, China in 1982 and 1986, and his PhD from University of Tsukuba, Japan in 1998. Dr. Guo's educational background includes: BSc in Computer Science, Nanjing University, China (1982) ME in Computer Science, Nanjing University, China (1986) PhD in Computer Science, University of Tsukuba, Japan (1998) Dr. Guo's research spans multiple areas in computer science, with a primary focus on parallel/distributed computing , compiler optimizations , cloud computing , database systems , and big data . He has published over 400 papers including approximately 150 in major journals and 250 in international conferences, with more than 60 papers in IEEE/ACM transactions and over 100 papers in prestigious conferences. Dr. Guo has also authored 7 books (4 in English, 3 in Chinese) and received 5 best/highlight paper awards from international conferences. Dr. Guo's publication record demonstrates strong contributions across multiple domains of computer systems research. His recent work shows particular emphasis on big data processing, edge computing, graph neural networks, and data center optimization. The publications reveal a consistent trajectory of impactful research in parallel and distributed systems, with increasing focus on AI/ML applications and blockchain technologies in more recent years. Dr. Guo has received numerous prestigious awards and honors: State Technological Invention Award of China (second class award, 2019) Shanghai Technological Invention Award (first class award, 2018) IEEE Technical Committee on Scalable Computing Award for Excellence in Scalable Computing (2018) Ministry of Education Natural Science Award (first class award, 2017) IEEE Fellow (2017) Chief Scientist of National Basic Research Project (973 Program, 2014) Recruitment Program of Global Experts (2010) Excellent Academic Leaders of Shanghai (2010) National Science Fund for Distinguished Young Scholars (2007) As an academic leader, Dr. Guo has served as Department Head for ten years, managing a department with over 100 faculty members and 1000+ students. Under his leadership, the department was promoted to the top tier in China and ranked among the top 40 in the world. He has secured significant research funding, including serving as Chief Scientist of the prestigious 973 Program in 2014 and receiving the National Science Fund for Distinguished Young Scholars in 2007. Dr. Guo has also been selected for the Recruitment Program of Global Experts in China (2010). Dr. Guo actively contributes to the academic community as an associate editor of IEEE Transactions on Parallel and Distributed Systems, IEEE Transactions on Cloud Computing, and Journal of Parallel and Distributed Computing. He has served as General/Program Chair for IEEE conferences and delivered keynote speeches at well-established conferences. His research group has developed practical technologies with industry impact, including 28 licensed patents, some of which have been transferred to companies like Alibaba.
Siegfried Benkner is a full Professor at the Vienna University of Technology (TU Wien) within the Faculty of Computer Science and leads the Research Group for Scientific Computing. His work focuses on high-performance computing (HPC), parallel programming models, runtime systems, and performance optimization for heterogeneous architectures. He has actively contributed to EU-funded projects such as TROCI (2024–2027) and PEPPHER, addressing resilience in critical infrastructures and programmability for exascale systems. His research spans topics like task-based runtime systems (OCR-Vx), autotuning frameworks (Periscope PTF), and performance portability for GPUs/Xeon Phi architectures. Recent interests include accelerating graph neural networks via novel matrix compression formats and cloud-edge continuum systems for eHealth applications. Prof. Benkner has published over 270 articles, with a focus on runtime systems, parallel patterns, and HPC infrastructure. His work emphasizes practical applications, including semantic data management for medical research and cloud-based analytics frameworks for big data processing in cellular networks. He has led multiple EU projects (9 total), including the 2024 initiative on exascale computing and resilience, and frequently presents at conferences like Euro-Par and Supercomputing events. His activities include media engagement on topics like exascale hardware trends and HPC challenges.
