Find Academic Supervisors

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +4 more

John van de Wetering is an Assistant Professor at the Theoretical Computer Science group of the Informatics Institute, University of Amsterdam, working with the QuSoft research center. He co-authored the open-access book Picturing Quantum Software and developed the PyZX quantum compiler. His research spans quantum computation and quantum foundations, focusing on diagrammatic methods like the ZX-calculus and ZH-calculus. Quantum circuit optimization and verification Quantum foundations via algebraic/compositional methods Co-creator of PyZX His recent publications explore multi-qutrit systems, completeness of graphical calculi, and quantum state representations. Supervises students in quantum computing, including Lia Yeh and Sarah Li. Directs the new Master's program in Quantum Computer Science at UvA. Actively contributes to open-source projects and international conferences. Notable collaborations include Aleks Kissinger, Neil J. Ross, and QuSoft researchers. Uses GitHub for DiZX development (qudit extension of PyZX). No explicit scientific awards mentioned.

• Quantum Computing
• Quantum Foundations
• ZX-calculus
• +7 more

Prof. Dr. Christian Plessl is a W3 Professor of High-Performance Computing at the Institute of Computer Science, University of Paderborn. He leads the Paderborn Center for Parallel Computing (PC²), a national HPC center within the NHR alliance. His roles include Director of PC², Board Member of the NHR association, and member of the Sonderforschungsbereich 901. Education: PhD (Dr. sc. ETH) in Computer Engineering, ETH Zürich (2006) MSc in Electrical Engineering, ETH Zürich (2001) Postdoc at ETH Zürich (2007–2011) Research Interests: Architecture and tools for high-performance parallel and reconfigurable computing, FPGA acceleration, quantum chemistry, scientific computing, adaptive systems, and energy-efficient HPC solutions. Key projects include EKI-App (FPGA-based neural networks), FPGA4XPCS (X-ray spectroscopy), and HighPerMeshes (unstructured grid frameworks). Publications: Over 100 peer-reviewed works, focusing on FPGA acceleration, HPC frameworks, and quantum computing. Recent trends emphasize energy-efficient neural networks, FPGA-based quantum computing, and scalable HPC algorithms. Awards: Best Paper Awards at HEART 2023, ReConFig 2012/2014 Paderborn University Research Awards (2018, 2009) SEW-EURODRIVE Student Award (2001) Grants & Projects: Principal investigator in DFG, BMBF, and EU-funded projects. Collaborates with AMD/Xilinx, Intel/Altera, and Fujitsu. Leads initiatives like PerficienCC (custom computing) and HighPerMeshes. Labs/Teams: Directs the High-Performance Computing group at PC², focusing on FPGA supercomputing and HPC infrastructure. Active in the NHR alliance for national HPC coordination.

• High-Performance Computing
• Reconfigurable Computing
• FPGA Acceleration
• +3 more

Paul R. Genssler is a Dr.-Ing. researcher at the Chair of AI Processor Design (AI-Pro) within the Technical University of Munich (TUM), actively advancing hardware solutions for artificial intelligence under Prof. Hussam Amrouch. His work bridges computer engineering and emerging technologies, focusing on overcoming fundamental limitations in conventional computing architectures through brain-inspired paradigms. His research spans critical domains in next-generation computing: Hyperdimensional Computing for robust pattern recognition and bioinformatics applications Neuromorphic and In-Memory Computing architectures for energy efficiency Reliability engineering for emerging memory technologies (FeFET, etc.) Quantum computing support systems including cryogenic embedded electronics Machine learning-driven transistor aging prediction and mitigation Analysis of his 15 most recent publications (2023-2024) reveals a dominant trend toward hyperdimensional computing as a unifying framework for addressing reliability challenges in emerging technologies. His work consistently integrates in-memory computing techniques to bypass von Neumann bottlenecks while targeting real-world applications like genome matching and unsupervised learning. A significant portion focuses on error-resilient implementations for unreliable nanoscale devices, demonstrating exceptional cross-stack expertise from transistor physics to algorithm design. As a core member of TUM's AI Processor Design group affiliated with the Munich Institute of Robotics and Machine Intelligence (MIRMI), Genssler collaborates extensively on projects spanning cryogenic quantum control systems, FPGA-based AI resilience, and monolithic 3D integration. The team operates at the intersection of semiconductor physics, computer architecture, and machine learning, with strong industry connections evident through publications at DATE, ASP-DAC, and ICCAD.

• Hyperdimensional Computing
• Neuromorphic Hardware
• In-Memory Computing
• +3 more

Prof. Ilia Polian serves as Head of the Institute of Computer Engineering and Chair of the Hardware-Oriented Computer Science (HOCOS) department at the University of Stuttgart. His leadership spans research, teaching, and institutional coordination across multiple high-impact projects. Prof. Polian's research focuses on developing circuit and system architectures based on both traditional and novel principles, including neuromorphic, stochastic, and approximate architectures. His second major research focus is systematic design methodology and design automation, with particular emphasis on safety and reliability properties of developed systems. Current research directions include quantum computing engineering, secure mixed-signal neural networks, and resource-efficient stochastic circuits for near-sensor computing applications. His recent publications demonstrate strong trends in quantum computing (particularly circuit partitioning and compilation for multi-QPU architectures), hardware security (including memristive cryptographic implementations), and AI-driven approaches to hardware testing and reliability. These works bridge fundamental computer architecture research with practical industrial applications. University of Stuttgart's Publication Prize for Paper on Partitioning of Quantum Circuits Prof. Polian actively supervises doctoral students including Devanshi Upadhyaya, and leads significant research grants such as the DFG Priority Program Nano Security which he coordinates. His department offers numerous thesis and research opportunities for students interested in cutting-edge hardware research. The Hardware-Oriented Computer Science department maintains strong collaborations with industry partners including IBM, Infineon Technologies, and Advantest, as well as academic institutions through the IQST Graduate School and QuantumBW initiatives.

• Circuit Architecture
• System Design
• Hardware Reliability
• +6 more

Muhammad Arslan Ansari is a researcher at the Department of Computer Architecture and Parallel Systems, Technical University of Munich. He contributes to hybrid quantum-classical computing models and high-performance computing (HPC) integration. Research Focus: Hybrid Quantum-Classical Computing, HPC-QC Integration, Compilation Toolchain Teaching: Seminar leadership on quantum-HPC integration and performance modeling in SS2023-SS2025 Projects: Involved in EuroHPC initiatives like SEANERGYS, PlasmaPEPS, and MUNIQC-ATOMS Software: QMPI, LAIK, and other HPC toolchain developments His publications address quantum accelerator integration challenges and programming tool reviews. He participated in conferences like IEEE QCE 2023.

• Hybrid Quantum-Classical Computing
• Quantum Computing
• High Performance Computing (HPC)
• +3 more

Peter Schwabe is a scientific director at the Max Planck Institute for Security and Privacy and holds academic positions as a part-time professor for cryptographic engineering in the Digital Security Group at Radboud University, Faculty of Science, and as an adjunct professor in the Faculty of Computer Science at Ruhr University Bochum. His career spans multiple prestigious institutions including Academia Sinica and National Taiwan University. Dr. Schwabe's research focuses on cryptography, particularly post-quantum cryptography, cryptographic engineering, and implementation security. His work addresses critical challenges in secure cryptographic implementations, side-channel resistance, and the transition to quantum-resistant algorithms. He has made significant contributions to NIST's post-quantum cryptography standardization project, particularly with CRYSTALS-Kyber which was selected for standardization in July 2022. His publication record shows a strong emphasis on practical implementations of cryptographic algorithms, formal verification of security properties, and addressing real-world security challenges. Recent work centers on verifying Kyber implementations, protecting against Spectre variants, and developing high-assurance cryptographic software. Dr. Schwabe has received significant recognition in the field, serving as an elected member of the IACR Board of Directors and participating in various steering committees including the IACR CHES and RWC Steering Committees. He also serves on advisory boards for several security-focused companies. As an advisor, he has supervised numerous PhD students working on cutting-edge cryptographic research, with recent graduates focusing on post-quantum cryptography, side-channel resistance, and formal verification of cryptographic implementations. His research group actively contributes to both theoretical advances and practical implementations in cryptography.

• Cryptography
• Post-quantum cryptography
• Cryptographic engineering
• +4 more

Jens Palsberg is a Professor and former Department Chair of Computer Science at the University of California, Los Angeles (UCLA), where he currently serves as Director of the UCLA-Amazon Science Hub for Humanity and Artificial Intelligence and co-director of UCLA's quantum research center. He chairs ACM SIGPLAN and is a member of the ACM Council. His research spans programming languages, software engineering, quantum computing, compilers, embedded systems, and information security. Palsberg has authored over 80 technical papers, co-authored the book Object-Oriented Type Systems , and revised Appel's textbook on Modern Compiler Implementation in Java . His recent work shows a significant shift toward quantum computing, including compiler techniques and program analysis for quantum systems. Analysis of his recent publications reveals a clear transition from traditional programming language research to quantum computing, with nearly half of his 2022-2024 publications focusing on quantum topics while maintaining strong work in software engineering and programming languages. His quantum research particularly emphasizes compiler optimization, abstract interpretation, and circuit analysis. ACM SIGPLAN Distinguished Service Award (2012) UCLA teaching award for quantum computing courses (2023) National Science Foundation CAREER and ITR awards Purdue University Faculty Scholar award IBM Faculty Award Okawa Foundation research award Palsberg has served in numerous leadership roles including general chair of POPL, conference chair of LICS, and vice chair of ACM SIGBED. His research has been supported by DARPA, Intel, British Telecom, and the National Science Foundation. He was instrumental in establishing UCLA's Masters degree in quantum science and has mentored numerous students through his legendary proof sessions. He leads a research group of over 30 professors in UCLA's quantum research center and maintains active collaborations across academia and industry, particularly with Amazon through the UCLA-Amazon Science Hub.

• Programming Languages
• Quantum Computing
• Software Engineering
• +3 more

Miryung Kim is a Professor and Vice Chair of Graduate Studies in UCLA's Computer Science Department, where she directs the Software Engineering and Analysis Laboratory. She is renowned for her pioneering work in software evolution, code clone management, and establishing the emerging field of Software Engineering for Data Intensive Computing (SE4DA and SE4ML). Her research focuses on automated testing and debugging for Apache Spark, developer tools for heterogeneous computing, and conducting systematic studies of refactoring practices in industry. She led the first large-scale study of data scientists in industry and developed JDebloat, a Java bytecode debloating tool that made significant tech transfer impact to the Navy. Her recent publications demonstrate strong trends in fuzz testing for big data analytics and heterogeneous computing, with a focus on natural input generation, co-dependence awareness, and leveraging hardware probes for acceleration. Her work bridges software engineering with data-intensive and heterogeneous computing paradigms. ACM SIGSOFT Influential Educator Award (2022) ICSME Most Influential Paper Award (2023 and 2020) NSF CAREER award Google Faculty Research Award Okawa Foundation Research Award Humboldt Fellow ACM Distinguished Member As an academic advisor, she has produced eight tenure-track faculty members at institutions including Columbia, Purdue, and Virginia Tech. Her research has been supported by National Science Foundation, Air Force Research Laboratory, Google, IBM, Intel, Okawa Foundation, Samsung, and Office of Naval Research. She previously served as Program Co-Chair of ESEC/FSE 2022 and has delivered keynotes at ASE 2019 and ISSTA 2022. She maintains active industry collaborations, serving as an Amazon Scholar at Amazon Web Services and having spent time as a visiting researcher at Microsoft Research.

• Software Engineering
• Software Engineering for Data Intensive Computing
• Automated Testing
• +7 more

Prof. Dr.-Ing. Holger Blume serves as Vice President for Research and Transfer at Leibniz University Hannover while maintaining his academic position as Professor in the Architectures and Systems Section within the Faculty of Electrical Engineering and Computer Science. He holds multiple leadership positions including Chairperson of the Research Commission and Central Ethics Committee, Executive Board member of eNIFE (Leibniz Research Initiative for Neurosciences), and membership in both the Laboratory of Nano and Quantum Engineering and L3S Research Centre. His research interests span computer architecture, hardware design, signal processing, AI accelerators, hearing aid technology, and biomedical engineering. His work bridges theoretical computer science with practical applications in automotive systems, medical devices, and quantum engineering. Professor Blume's research demonstrates strong interdisciplinary connections between electrical engineering, computer science, and biomedical applications, with particular emphasis on hardware-oriented solutions for real-world problems. Analysis of his recent publications (2023-2025) reveals a strong focus on hardware acceleration for AI and signal processing applications, particularly in automotive radar/LiDAR systems and hearing aid technology. His work shows consistent innovation in RISC-V processor design, specialized hardware for mathematical functions, and biomedical applications of engineering principles. The research demonstrates a clear trajectory toward energy-efficient, specialized computing architectures for specific application domains. As Vice President for Research and Transfer, Professor Blume oversees significant research initiatives at Leibniz University Hannover, which hosts multiple Clusters of Excellence including PhoenixD (Photonics, Optics, and Engineering), QuantumFrontiers, and Hearing4all. The university participates in numerous collaborative research centers and junior research groups funded by DFG, BMBF, and EU programs. Professor Blume is actively involved in multiple research facilities including the Laboratory of Nano and Quantum Engineering and the L3S Research Centre. His work connects with Leibniz University's research focuses on optical technologies, quantum optics and gravitational physics, and biomedical research and technology. His leadership positions indicate strong involvement in shaping the research strategy and ethical framework of the university's scientific endeavors.

• Computer Architecture
• Hardware Design
• Signal Processing
• +7 more

Félix García is a prominent professor at the University of Castilla-La Mancha in Ciudad Real, Spain, with extensive contributions to software engineering, sustainable computing, and business process management. His research spans over two decades with 187 publications indexed in dblp, demonstrating consistent scholarly productivity and leadership in multiple research areas. Dr. García's research interests focus on critical contemporary challenges in software development, particularly green software engineering, energy efficiency in computing systems, and sustainable software development practices. His work bridges theoretical foundations with practical applications, addressing how software design, implementation, and maintenance impact environmental sustainability. He has pioneered research connecting software quality attributes with energy consumption, examining how design patterns, code smells, and refactoring techniques affect resource usage. His recent publications (2023-2025) reveal a strong focus on cutting-edge topics including Green AI, quantum computing sustainability, and energy-aware programming language design. These works demonstrate his ability to anticipate and address emerging challenges at the intersection of software engineering and environmental sustainability. Dr. García has received significant recognition through numerous collaborations, particularly with Mario Piattini (133 co-authored papers), Francisco Ruiz (63 papers), and María Ángeles Moraga (30 papers), establishing him as a central figure in his research community. His work has appeared in prestigious venues including IEEE Transactions on Software Engineering, Journal of Systems and Software, and ACM Computing Surveys. He has mentored numerous researchers who have become established scholars in their own right, including Javier Mancebo, Laura Sánchez-González, and César Jesús Pardo Calvache. His contributions to gamification in software engineering education through serious games like GLOBAL-MANAGER demonstrate his commitment to innovative teaching approaches.

• Software Engineering
• Green Software Development
• Sustainable Computing
• +6 more

André Brinkmann is a full professor at the Department of Computer Science, Johannes Gutenberg University Mainz, leading the Efficient Computing and Storage Group. He previously served as head of the university's data center (2011–2021) and was an assistant professor at Paderborn University (2008–2011). He holds a Ph.D. in Electrical Engineering from Paderborn University (2004) and managed the Paderborn Centre for Parallel Computing (PC²). His research focuses on algorithm engineering for data center management, cloud computing, storage systems, and high-performance computing (HPC). Notable projects include: Development of ad hoc file systems like GekkoFS and IO-SEA for exascale architectures Optimization of storage systems (e.g., hybrid RAID, SSD garbage collection) Quantum computing compiler research for trapped-ion architectures Leadership in initiatives like the I/O Trace Initiative and BINARY (Big Data in Atmospheric Physics) He serves as Senior Associate Editor of ACM Transactions on Storage and co-chairs major conferences like FAST 2026 and ARCS 2026.

• Data Center Management
• Cloud Computing
• Storage Systems
• +5 more

Johannes Geier is a Researcher at the Chair of Design Automation at the Technical University of Munich (TUM). His work focuses on electronic design automation, fault injection simulations, and security countermeasures for RISC-V processors. University: Technical University of Munich Department: Chair of Design Automation Email: johannes.geier@tum.de Research Interests Electronic Design Automation (EDA) for analog and digital circuits Fault tolerance and reliability in RISC-V architectures Security analysis of post-quantum cryptographic systems Timing analysis and microfabrication techniques Optical Networks-on-Chip (NoC) and emerging technologies Compiler-assisted hardware security implementations Recent Research Trends Specializes in fault injection methodologies for hardware security validation Develops open-source tools like vRTLmod for RTL simulation acceleration Explores RISC-V vector extensions for post-quantum cryptography Investigates differential fault effect equivalence checks for efficiency Designs compiler-based security countermeasures against instruction skip attacks Works on concurrent multi-node XCP proxy server architectures

• Electronic Design Automation
• Fault Injection Simulation
• RISC-V Processors
• +7 more

Stefano Markidis is a leading researcher in High-Performance Computing (HPC) and quantum computing. His work focuses on developing advanced simulation frameworks, such as the Neko framework for computational fluid dynamics, and optimizing algorithms for heterogeneous architectures. He collaborates extensively with institutions and researchers globally, contributing to fields like plasma physics, quantum systems, and machine learning applications. His research emphasizes scalability, performance optimization, and the integration of cutting-edge technologies like GPU acceleration and quantum computing. Key research interests include extreme-scale simulations, quantum algorithms, and in-situ data analysis techniques. He has published over 200 articles, with recent work addressing challenges in NISQ systems, tensor network simulations, and CUDA-based performance enhancements. His contributions span theoretical and applied domains, bridging computational methods with real-world applications in fusion energy, materials science, and space exploration. Notable collaborations include projects with Philipp Schlatter, Niclas Jansson, and the NISQ application development community. Markidis also explores hybrid frameworks combining classical and quantum computing, aiming to leverage emerging hardware for scientific breakthroughs.

• High-Performance Computing (HPC)
• Computational Fluid Dynamics
• Quantum Computing
• +3 more

Gerhard Wellein is a Professor for High Performance Computing at the Department of Computer Science of Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). He is the head of NHR@FAU (Erlangen National Center for High Performance Computing) and a member of the board of directors of the German NHR-Alliance. Since 2024, he has also served as a Visiting Professor for HPC at the Delft Institute of Applied Mathematics, Delft University of Technology. He holds a PhD in theoretical physics from the University of Bayreuth and has over two decades of experience in HPC education and research. Research Interests: His research focuses on performance modeling and engineering, architecture-specific code optimization, novel parallelization techniques, and the development of hardware-efficient building blocks for sparse linear algebra and stencil solvers. His work bridges computer science, applied mathematics, and computational physics, aiming to maximize efficiency on current and future HPC architectures, including exascale systems. Publication Trends: His recent publications emphasize analytical performance modeling (e.g., Roofline, oscillator models), energy efficiency, GPU optimization, and scalable linear algebra. They reflect a strong focus on both theoretical modeling and practical implementation, with applications in CFD, quantum physics, and molecular dynamics. Scientific Awards: 2011 Informatics Europe Curriculum Best Practices Award (shared with Jan Treibig and Georg Hager) for outstanding teaching contributions in HPC. Grants and Advising: He has led numerous third-party funded projects from the EU, BMBF, and DFG, including EoCoE-III, ESSEX, EXASTEEL, and ProPE. These projects focus on exascale software, performance engineering, fault tolerance, and multiscale simulation. He has mentored multiple researchers and students, contributing to the development of tools such as LIKWID, ClusterCockpit, and GEOPM. Labs and Teams: He leads the HPC research group at FAU and is deeply involved in national and international HPC initiatives. His team collaborates extensively on open-source HPC software and performance tools, fostering a strong community-driven approach to performance engineering.

• High Performance Computing
• Performance Engineering
• Performance Modeling
• +7 more