Find Academic Supervisors

Wiebke RademacherView profile

Professor

• Music Education
• Historical Musicology
• Cultural Studies
• +3 more

Wiebke Rademacher is Professor of Arts and Cultural Education (MAE) and Instrumental and Vocal Pedagogy (BA) at the Music and Arts Private University of the City of Vienna (MUK) . Studied musicology/history at Universities of Cologne and Basel (BA/MA), music education at Detmold University of Music (M.Mus.), and classical guitar at Maastricht Conservatory (B.Mus.) Doctorate (Dr. phil. summa cum laude, University of Cologne 2020) on classical music reception by broad audiences in Berlin 1900. Research Interests : Historical musicology focusing on non-bourgeois performance contexts, music pedagogy innovation, audience engagement through interdisciplinary concert formats, and cultural education strategies. Articles demonstrate her expertise in: concert history, working-class music reception, digital music education, climate activism through sound art, and audience diversification strategies. 2024 jury advisor for D-Bü Competition 2014-2021: Head of Education Department at PODIUM Esslingen Awarded for VISION participatory format (nominated for German Federal Cultural Education Prize) 2022: Board of Trustees member at PODIUM Esslingen Academic Collaborations : Lecturer at Cologne University of Music and Dance, Robert Schumann University of Music Düsseldorf, and University of Cologne (2016/17 research assistant).

Tirado FranciscoView profile

Professor

• Power Aware Computing
• Heterogeneous Computing
• Applications optimization
• +4 more

Francisco Tirado is a Full Professor of Computer Architecture at Complutense University of Madrid since 1986. He has held leadership roles including Vice-Chancellor for Research (2012-2015), Dean of the Faculty of Physics (1994-2002), and Director of the Complutense Supercomputing Center (2002-2007). He is a founding member of the Spanish Society for Computer Science (SCIE) and Spanish Society for Computer Architecture (SARTECO). His research focuses on power-aware computing, heterogeneous systems, bioinformatics, and hardware design automation. He has authored over 242 publications and supervised 15 PhD theses. His professional service includes chairing 138 international conferences and serving on numerous committees for EUROMICRO, IEEE, and national research agencies. Education: No explicit details provided, but has been active at Complutense University since 1978. Affiliations: Member of COSCE Executive Board (2012), IEEE Senior Member (2005), and EUROMICRO Board (1991-2004). Research Interests: - Optimizing energy efficiency in high-performance computing systems - Design of heterogeneous architectures and accelerators - Bioinformatics applications through hardware/software co-design - Parallel programming models for emerging architectures - Automation tools for FPGA and embedded systems development Conference Contributions: Played multiple roles (General Chair, Program Chair) for major events like ParCo, HPCA, and EUROMICRO PDP conferences. Delivered 64 keynote/plenary lectures globally. Scientific Awards: Doctor 'Honoris Causa' from universities in Spain, Paraguay, and Peru 2013 National Computer Science Award IEEE Senior Membership Advising: Supervised 15 PhD students. Active in technology transfer contracts with industry. Labs/Teams: Founder and leader of the ArTeCS research group at Complutense University, specializing in computer architecture and high-performance computing innovations.

• High-Performance Computing
• Big Data Processing
• Performance Portability
• +3 more

Enes Bajrovic is a researcher affiliated with the Faculty of Computer Science, focusing on high-performance computing (HPC), big data processing, and performance portability. His work spans task-based parallelism, runtime systems, and optimization frameworks for heterogeneous architectures. He has contributed to major European projects like PEPPHER and AutoTune, which aim to advance HPC software tools and autotuning methodologies. His research emphasizes practical applications of parallel computing in domains such as mobile networks and scientific simulations. Education: Dipl.-Ing. Dr.techn., BSc in Computer Science His research interests include developing frameworks for compute- and data-intensive applications, leveraging technologies like Kubernetes, OpenCL, and Intel Xeon Phi coprocessors. He has authored numerous peer-reviewed publications on topics such as pipeline patterns, autotuning algorithms, and hybrid execution models. His work bridges theoretical advancements in parallel computing with real-world software engineering challenges. Bajrovic has collaborated on projects funded by the European Commission’s FP7 program, contributing to deliverables like runtime systems, tuning frameworks, and benchmarking tools. His research also addresses the integration of big data processing with HPC, particularly in telecommunications and distributed computing environments.

Klaus MuellerView profile

Professor

• Visual Analytics
• Explainable Machine Learning and AI
• Algorithmic Fairness and Transparency
• +7 more

Klaus Mueller is a Professor in the Computer Science Department at Stony Brook University , with additional appointments in Biomedical Engineering and Radiology. He serves as Director of the Visual Analytics and Imaging (VAI) Lab, Liaison for the SUNY Korea CS Program, and Interim Chair of the Department of Technology and Society . His career spans roles at Brookhaven National Lab and leadership positions at SUNY Korea. Dr. Mueller earned his PhD in Computer and Information Science (1998), MS in Computer and Information Science (1996), and MS in Biomedical Engineering (1990) from The Ohio State University , alongside a BS in Electrical Engineering (1987) from the Polytechnic University of Ulm, Germany. His research focuses on visual analytics , explainable AI , algorithmic fairness , computational imaging , and medical imaging . He has pioneered GPU-accelerated CT reconstruction techniques, bias mitigation frameworks (e.g., D-BIAS), and tools like DOMINO for causal reasoning. His work bridges data science , human-computer interaction , and medical applications , often integrating large language models for visualization tasks. Recent publications highlight advances in multivariate volume rendering , LLM-driven bias detection , and mDDPM-based medical image synthesis . His articles span IEEE Transactions , Nature Machine Intelligence , and conferences like IEEE VIS and ACM CHI . Award highlights include NSF CAREER (2000), SUNY Chancellor Award (2011), IEEE Golden Core Award (2016, 2022), induction into the National Academy of Inventors (2018), and elevation to IEEE Fellow (2024). He has chaired major conferences and served as Editor-in-Chief of IEEE Transactions on Visualization and Computer Graphics (2019-2022). He teaches graduate and undergraduate courses in visualization , medical imaging , and GPGPU programming , and leads the Visual Analytics Seminar (CSE 648). His lab ( VAI Lab ) fosters interdisciplinary research in GPU-accelerated analytics and ethical AI.

Michael AffenzellerView profile

Professor

• Genetic Programming
• Symbolic Regression
• Evolutionary Algorithms
• +6 more

Michael Affenzeller is a Professor at the University of Applied Sciences Upper Austria, leading the HEAL AIST Center of Excellence for Smart Production with a focus on Digital Transformation. His research spans Genetic Programming, Symbolic Regression, and Evolutionary Algorithms, with applications in optimization, AI, and manufacturing automation. He has authored over 400 publications and led major projects such as HCAI (Human-Centered AI) and HEAL, emphasizing interdisciplinary collaboration. Research interests include developing advanced algorithms for dynamic optimization, prescriptive analytics, and federated learning in industrial contexts. He has contributed to projects like LOISI (Logistics Optimization in Steel Industries) and SimGenOpt2, addressing challenges in production planning and workforce optimization. Key collaborations involve institutions in Austria and beyond, focusing on smart manufacturing, logistics, and AI integration. His work bridges theoretical advancements with real-world applications, driving innovation in energy systems, crane scheduling, and predictive maintenance. Grants and projects include funding from FWF (doc.funds.connect) and Upper Austrian initiatives, emphasizing doctoral training and industry partnerships. He actively participates in conferences such as EUROCAST and PPSN, contributing to algorithmic advancements and computational theory.

Matthias JanetschekView profile

Associate Professor

• Computer Science
• Cybersecurity
• Distributed Systems
• +5 more

Matthias Janetschek holds the position of Associate Professor at the Management Center Innsbruck (MCI), Austria, since September 2020. Previously, he served as a Lecturer at MCI (2018–2020) and was a Co-Founder/Senior Developer at Felix Solution UG (2013–2015). He earned a PhD in Computer Science from the University of Innsbruck (2011–2019), alongside earlier degrees in Computer Science (BSc 2002–2007, MSc 2007–2011). His research focuses on distributed systems, workflow management, cybersecurity, and IoT , with notable contributions to scientific workflow execution on cloud/manycore architectures and AR/VR applications in education. He has supervised over 18 bachelor/master theses addressing topics like IoT security, reinforcement learning, and edge computing. Teaching responsibilities include courses such as Distributed Systems , Virtual Reality , and Computer Architecture at MCI. He has also completed further training in online education tools (e.g., Sakai, Adobe Connect) and corporate communication. His publications span journals like Multimodal Technologies and Interaction and conference proceedings on workflow systems, cloud computing, and AR usability. Current work emphasizes large-scale IoT security assessments and edge computing optimizations.

• High Performance Computing
• MPI Programming
• Parallel Algorithms
• +2 more

Ioannis Vardas is a Researcher in Parallel Computing at TU Wien's Faculty of Informatics. His work focuses on optimizing high-performance computing systems through advanced process mapping, MPI programming, and performance analysis tools. Key research areas: Topology-aware process mapping for HPC MPI library development and optimization Performance profiling of parallel applications Resource allocation in hierarchical architectures Energy-efficient parallel computing He contributes to projects improving MPI performance tools and develops methods for efficient resource utilization in supercomputing environments.

• Computer Architecture
• Compilers
• Programming Languages
• +4 more

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.

• Automated Software Verification
• Formal Methods
• Model Checking
• +7 more

Georg Weissenbacher is a Full Professor in the Institute of Logic and Computation at TU Wien, leading the Formal Methods in Systems Engineering group. His research focuses on automated software verification, formal methods, and concurrency bug analysis. He holds a DPhil from Oxford and has held positions at Princeton and ETH Zurich. Education: TU Wien (since 2010), Postdoctoral Researcher at Princeton University (2010–2012), PhD from Oxford University (2008–2010), Research Assistant at ETH Zürich (2005–2010), Master's at TU Graz (until 2003). Research Interests: Automated software verification, formal methods, model checking, concurrency bug detection, logic and automated reasoning, symbolic simulation, and test case generation. His work addresses challenges like Heisenbugs in concurrent systems and robustness verification of neural networks. Grants & Projects: Lead projects such as AutoTest (Vienna Science Fund), LogiCS-Scholarships (2017–2025), and contributions to the National Research Network 'Rigorous Systems Engineering' (FWF). Active in the FWF-funded doctoral college 'Automated Reasoning' (2025). Advising: Supervised over 20 PhD and master's students, including notable works on Heisenbugs, mutation testing, and neural network verification. Current advisees include Thomas Hader and Sarah Sallinger. Labs & Teams: FORSYTE Group at TU Wien, collaborating on formal methods and automated reasoning. Engaged in international conferences like CAV and FMCAD as program chair/co-chair.

• Compilers
• Programming Languages
• Computer Architecture
• +3 more

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ørstadView profile

Professor

• Numerical analysis
• Domain decomposition
• Elliptic PDE
• +4 more

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.

Esparza JavierView profile

Professor

• Algorithms and tools for the design and verification of reactive and distributed systems
• Verification of systems with infinitely many states
• Software Model Checking
• +7 more

Javier Esparza is a Professor at the Technische Universität München, holding the Chair of Foundations of Software Reliability and Theoretical Computer Science since 2007. Prior to this, he held chairs at the University of Stuttgart (2003-2007) and the University of Edinburgh (2001-2003), along with academic positions dating back to 1990. Education: M.S. in Theoretical Physics (1987, University of Zaragoza), Ph.D. in Computer Science (1990, University of Zaragoza), and Habilitation in Computer Science (1994, University of Hildesheim). His research focuses on formal verification, distributed systems, and software reliability, particularly through algorithms for software model checking, logic and automata theory, and analysis of probabilistic systems. His work has been supported by numerous grants from the German Research Council (DFG), British Engineering and Physical Sciences Research Council (EPSRC), and the Humboldt Foundation. Scientific Awards: Doctor honoris causa from Masaryk University (2009), TeachInf Awards for best Bachelor and Master courses (2009, 2010), TU München Diploma for excellent teaching (2011), Member of Academia Europaea (2011), and Dissertation Prize from the University of Zaragoza (1990). Esparza has supervised over 15 PhD students, including Dr. Stefan Schwoon, Dr. Claus Schröter, and Dr. Michael Luttenberger, and collaborated on research projects with institutions across Europe and the UK.

Val TannenView profile

Professor

• Database Theory
• Programming Language Theory
• Data Provenance
• +5 more

Val Tannen is a Professor in the Department of Computer and Information Science (CIS) at the University of Pennsylvania, holding appointments since 1987. He has undertaken numerous visiting roles, including at Simons Institute (2023), EPFL (2020, 2011-2012), NUS (2019), and institutions in Greece, France, and elsewhere. Education: Polytechnic Institute of Bucharest (Engineer Diploma, 1977) MIT (PhD in Applied Mathematics/Computer Science, 1983-1987) His research spans database theory, programming language theory, logic, and applications to bioinformatics. Key contributions include provenance frameworks and complex object modeling , impacting data integration, uncertainty management, and systematic biology. Notable awards include ACM Fellowship , Mendelzon Test-of-Time Award , and NSF Presidential Young Investigator . His work has been disseminated through 30+ conference program committee roles and editorial contributions. Scientific Awards: 10 years Mendelzon Test-of-Time Award ACM Fellow 20 years Test-of-Time Award NSF Presidential Young Investigator

Li KeqinView profile

Professor

• Computer Networking
• Heterogeneous Computing Systems
• Computer Architectures and Systems
• +6 more

Professor Keqin Li is a globally recognized academic holding concurrent professorships at Hunan University (China) and State University of New York (USA). He has held distinguished titles including National Distinguished Professor and SUNY Distinguished Professor. His research focuses on computer networking, heterogeneous systems, energy-efficient computing, and distributed systems. He has authored over 800 publications with an h-index of 64 and secured major grants from Chinese National Science Foundation and Ministry of Science and Technology. Education: PhD in Computer Science from University of Houston (1990), B.S. from Tsinghua University (1985). Research Interests: Includes parallel computing architectures, cloud-edge computing integration, energy-efficient algorithms, and task scheduling optimization. His work spans foundational studies to applied solutions in distributed systems, with notable contributions to network function virtualization and secure cloud data sharing. Awards: Ranked top globally in distributed computing by Scopus citation metrics (2020-2021) IEEE Fellow (2015) Recipient of 1000 Plan Chinese Talent Program (2013) Professional Activities: Editorships at ACM Computing Surveys, IEEE Transactions on Parallel and Distributed Systems, and over 190 conference organizing roles. Principal Investigator of 12+ major research projects (2013-2025). Labs/Teams: Leads research groups focused on parallel computing, cloud-edge systems, and energy-efficient architectures across multiple institutions.

• Automated Reasoning
• Systolic Computations
• Multiprecision Arithmetic
• +3 more

Tudor Jebelean is a full professor at the Research Institute for Symbolic Computation (RISC) within Johannes Kepler University (JKU), located in Linz, Austria. His primary affiliation is with RISC, where he leads research in automated reasoning, symbolic computation, and algorithm design. Roles: A.Univ.-Prof. (Universitätsprofessor) at RISC, JKU Research Focus: Automated reasoning, systolic computations, multiprecision arithmetic, and formal methods. Jebelean's work centers on advancing theorem proving systems like Theorema , which integrates computation and deduction for natural-style mathematics. He develops algorithms for sorting, data structure manipulation, and formal verification, often using combinatorial and logic-based techniques. His contributions include the design of systolic architectures for arithmetic operations and the synthesis of algorithms through mechanical proving. Publications highlight his research on automated prover systems, certification of sorting algorithms, and symbolic computation tools. He collaborates extensively with researchers like Isabela Dramnesc and Sorin Stratulat on algorithm synthesis and formal verification. His research bridges theoretical foundations with practical applications in computer science and mathematics education.