جستجوی استاد راهنمای دانشگاهی

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

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 .

• Quantum Computing
• Quantum Foundations
• ZX-calculus
• +۷ مورد دیگر

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.

Christian Plesslمشاهده پروفایل

استاد

• High-Performance Computing
• Reconfigurable Computing
• FPGA Acceleration
• +۳ مورد دیگر

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.

Steve Zdancewicمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Logic
• +۷ مورد دیگر

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He is a leading researcher in programming languages, formal methods, and computer security with over two decades of impactful contributions to the field. His research interests span programming languages, type theory, logic, computer security, quantum programming, and formal verification. Zdancewic has made significant contributions to information-flow security, memory safety, program synthesis, and the verification of low-level systems. His work often bridges theoretical foundations with practical applications, particularly through the development of verified systems using Coq and other proof assistants. Analysis of his recent publications reveals a strong focus on formal verification techniques, particularly using Interaction Trees and the Coq proof assistant. His research trajectory shows consistent evolution from foundational work on information-flow security toward increasingly sophisticated verification of complex systems including LLVM, quantum computing, and distributed systems. His work demonstrates a commitment to building practically useful verification tools while maintaining rigorous theoretical foundations. Distinguished Paper Award for Semantics for Noninterference with Interaction Trees (ECOOP 2023) Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award for Interaction Trees (POPL 2020) Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO top picks (2013) Alfred P. Sloan Fellow (2009-2010) NSF CAREER award (2004) Zdancewic has advised numerous PhD students who have gone on to successful careers in academia and industry. His research has been supported by significant grants from NSF, including the NSF Expedition on the Science of Deep Specification. He is actively involved in multiple major research projects including Vellvm (verified LLVM), DeepSpec, and quantum programming verification. Zdancewic also co-organizes Penn's PL Club programming languages research group with Benjamin Pierce and Stephanie Weirich.

• Hyperdimensional Computing
• Neuromorphic Hardware
• In-Memory Computing
• +۳ مورد دیگر

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.

Ilia Polianمشاهده پروفایل

استاد

• Circuit Architecture
• System Design
• Hardware Reliability
• +۶ مورد دیگر

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.

Muhammad Arslan Ansariمشاهده پروفایل

پژوهشگر

• Hybrid Quantum-Classical Computing
• Quantum Computing
• High Performance Computing (HPC)
• +۳ مورد دیگر

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.

• Cryptography
• Post-quantum cryptography
• Cryptographic engineering
• +۴ مورد دیگر

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.

Jens Palsbergمشاهده پروفایل

استاد

• Programming Languages
• Quantum Computing
• Software Engineering
• +۳ مورد دیگر

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.

Miryung Kimمشاهده پروفایل

استاد

• Software Engineering
• Software Engineering for Data Intensive Computing
• Automated Testing
• +۷ مورد دیگر

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.

• Computer Architecture
• Hardware Design
• Signal Processing
• +۷ مورد دیگر

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.

Robert Raussendorfمشاهده پروفایل

استاد

• Quantum Information
• Measurement-Based Quantum Computation
• Quantum Fault-Tolerance
• +۴ مورد دیگر

Robert Raussendorf is a Professor at the Institute of Theoretical Physics, part of the Faculty of Mathematics and Physics at Leibniz University Hannover. He leads the research group focusing on quantum information, particularly measurement-based quantum computation (MBQC) and quantum fault-tolerance. His work includes the invention of the one-way quantum computer (QCc), a paradigm where quantum computations are performed via local measurements on entangled cluster states. Raussendorf’s research bridges foundational quantum mechanics with practical applications, emphasizing the role of contextuality and resource states in quantum advantage. Research Interests: His primary areas include quantum computation models, quantum cellular automata, topological error correction, and the foundational aspects of quantum mechanics. He explores how quantum principles like entanglement and contextuality enable computational power, with recent focus on symmetry-protected systems and efficient quantum architectures. Articles Trends: Recent publications highlight advancements in measurement-based computation, error correction strategies, and theoretical frameworks like contextuality and cohomology. Notable work includes high-error-threshold architectures and the application of dual-unitary circuits in one-dimensional systems. Lab/Team: His team includes postdocs (e.g., Markus Frembs, Martin Plávala) and doctoral candidates (e.g., Arnab Adhikary, Ruben Campos Delgado), collaborating on topics like quantum error tolerance, computational phases of matter, and algorithm optimization. The group also engages in interdisciplinary projects with institutions like the Stewart Blusson Quantum Matter Institute.

• Software Engineering
• Green Software Development
• Sustainable Computing
• +۶ مورد دیگر

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.

• Privacy-Preserving Protocols
• Secure Multi-Party Computation
• Homomorphic Encryption
• +۵ مورد دیگر

Daniel Demmler is an Assistant Professor at Darmstadt University of Technology's Department of Computer Science, specializing in privacy-preserving protocols and cryptographic systems. His research focuses on practical implementations of secure multi-party computation, homomorphic encryption, and privacy-preserving machine learning frameworks. Dr. Demmler's primary research interests lie in making cryptographic protocols practical for real-world applications. His work spans secure multi-party computation, threshold homomorphic encryption, federated learning security, and defenses against property inference attacks. He has made significant contributions to frameworks like MOTION for mixed-protocol computation and Noah's Ark for threshold-FHE systems. His research bridges theoretical cryptography with practical implementation challenges, focusing on efficiency and real-world applicability. Analysis of his recent publications reveals a strong focus on threshold cryptography and privacy-preserving machine learning. His work shows increasing sophistication in balancing security guarantees with computational efficiency, particularly in distributed settings. The trend indicates growing interest in quantum-resistant cryptographic approaches and defenses against emerging machine learning privacy threats. Best Paper Award at SECRYPT 2021 Distinguished Paper Award at CCS 2018 Dr. Demmler leads the Cryptology and Privacy Research Group at TU Darmstadt, collaborating extensively with international researchers in the field. His team focuses on developing practical implementations of advanced cryptographic protocols that can be deployed in real-world systems while maintaining strong security guarantees. Current projects include threshold homomorphic encryption systems and privacy-preserving machine learning frameworks.

André Brinkmannمشاهده پروفایل

استاد

• Data Center Management
• Cloud Computing
• Storage Systems
• +۵ مورد دیگر

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.