جست‌وجوی استاد و پژوهشگر

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 .

Andrea Coladangeloمشاهده پروفایل

استادیار

• Quantum Computation
• Quantum Cryptography
• Quantum Learning Theory
• +۳ مورد دیگر

Andrea Coladangelo is an Assistant Professor at the Allen School of Computer Science & Engineering , University of Washington , co-leading the Quantum group and contributing to the Theory and Crypto groups. He coordinates the NSF-funded Quantum@UW REU program , fostering undergraduate research in quantum information. Previously, he was a postdoctoral researcher at UC Berkeley and the Simons Institute , advised by Umesh Vazirani , following a PhD in Computer Science at Caltech under Thomas Vidick . His academic journey began with a B.A. in Mathematics from Oxford and a Master in Mathematics from Cambridge . He co-founded qBraid , a platform for quantum computing education. Research Interests : Andrea explores the intersection of quantum computation and cryptography , focusing on foundational questions in entanglement , quantum correlations , and quantum learning theory . His work investigates quantum pseudorandomness , device-independent security , quantum algorithms , and quantum copy-protection , often leveraging computational assumptions to bridge quantum information theory with cryptographic applications. Scientific Awards : 2025 Google Research Scholar Program Award in Quantum Computing 2023 CSE Undergraduate Teaching Award for his course on quantum computation 2019 Best Student Paper Award at QIP Teaching & Outreach : Andrea designed and taught CSE 434: Intro to Quantum Computation (Spring 2023, 2024, 2025), CSE 534: Quantum Information and Computation (Autumn 2023), and CSE 599C: Quantum Learning Theory (Winter 2025). He also delivered lectures at the 22nd Bellairs Crypto Workshop (2024) and led a quantum programming tutorial using qBraid . Labs & Teams : As co-leader of the Quantum group at the Allen School, he collaborates with researchers in Theory and Crypto , advancing quantum computing through interdisciplinary projects and educational initiatives.

Moe Z. Winمشاهده پروفایل

استاد

• Wireless communications
• Optical communications
• Space communications systems
• +۲ مورد دیگر

Moe Z. Win is the Robert R. Taylor Professor at the Massachusetts Institute of Technology (MIT), specializing in wireless communications, optical communications, and space communications systems. His research bridges theoretical and applied domains, including quantum sensing, network localization, and signal processing. B.S.E.E., Texas A&M (1987) M.S.E.E. & Ph.D., University of Southern California (1989, 1998) Recent work focuses on quantum-enhanced positioning, machine learning for localization, and next-generation (xG) non-terrestrial networks. He leads research at the Quantum neXus Laboratory (QX Lab), Wireless Information & Network Sciences Lab, and Laboratory for Information and Decision Systems. His career spans the Jet Propulsion Laboratory (1987-1995) and AT&T Research Laboratories (1998-2002). Key methodologies include soft information fusion, variational quantum sensing, and robust beam tracking for terahertz communications.

Giovanni De Micheliمشاهده پروفایل

استاد

• Integrated Circuit Design
• Hardware Synthesis
• Logic Optimization
• +۵ مورد دیگر

Giovanni De Micheli is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), holding appointments in both the School of Computer and Communication Sciences (IC) and the School of Engineering (STI). He is affiliated with the Integrated Systems Laboratory (LSI) and serves as Scientific Director of EcoCloud. His primary office is located in INF 341 building at EPFL's Lausanne campus where he conducts research and teaching activities. Professor De Micheli's research spans multiple domains in electronic design automation and integrated circuit design. His primary interests include: Integrated Circuit Design and Hardware Synthesis Logic Optimization and Boolean Methods Nanoelectronics and 2D Electronics Quantum Computing and Emerging Technologies Low-Power Electronics and Energy-Efficient Systems Electronic Design Automation for Novel Computing Paradigms His recent publications demonstrate a strong focus on advancing logic synthesis techniques for both conventional and emerging technologies. Professor De Micheli's work bridges theoretical foundations with practical applications, particularly in adapting traditional EDA methods to novel computing paradigms like quantum computing and superconducting electronics. His research group has made significant contributions to the development of efficient algorithms for circuit optimization across multiple technology domains, with particular emphasis on area, power, and delay optimization while maintaining functional correctness. Professor De Micheli has supervised numerous doctoral students throughout his career at EPFL, mentoring over 40 PhD candidates whose research spans various aspects of electronic design automation, circuit design, and emerging technologies. His students have gone on to make significant contributions in both academia and industry. As Scientific Director of EcoCloud, Professor De Micheli leads research initiatives focused on energy-efficient computing systems and sustainable cloud infrastructure. His laboratory, the Integrated Systems Laboratory, serves as a hub for interdisciplinary research connecting computer science, electrical engineering, and materials science, with particular focus on next-generation computing technologies.

Ashley Montanaroمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Algorithms
• Quantum Information Theory
• +۳ مورد دیگر

Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.

Andrew Childsمشاهده پروفایل

استاد

• Quantum Algorithms
• Quantum Information Processing
• Quantum Simulation
• +۲ مورد دیگر

Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.

Alexey Gorshkovمشاهده پروفایل

استاد مدعو

• Quantum Optics
• Quantum Information Science
• Condensed Matter Physics
• +۶ مورد دیگر

Alexey Gorshkov is an Adjunct Professor at the University of Maryland (UMD) affiliated with the Joint Quantum Institute (JQI) and the Quantum Information and Computer Science Laboratory (QuICS). His primary academic role is in theoretical physics, focusing on quantum optics, quantum information science, and condensed matter physics. He leads a research group exploring quantum magnetism with alkaline-earth atoms, driven-dissipative systems, topological matter, and strongly interacting photons. His work bridges AMO (atomic, molecular, and optical) systems with high-energy and condensed matter physics, emphasizing quantum simulation and novel quantum technologies like precise clocks and quantum computers. Education details are not explicitly listed, but his research collaborations with institutions like JQI and UMD suggest advanced academic training in theoretical physics. His research interests revolve around understanding and controlling quantum many-body systems, particularly in far-from-equilibrium scenarios, entanglement dynamics, and dissipation effects. He has contributed to studies on Rydberg atoms, quantum routing protocols, and error mitigation in quantum simulators. Recent articles highlight his work on quantum protocols for verifying speedups, time-independent information flow, and entanglement dynamics. His group's achievements include demonstrating one-dimensional anyons and developing methods for correlated noise estimation with quantum sensors. Awards and grants are not explicitly mentioned in the provided text, but his prolific publication record indicates sustained research impact. Labs and teams associated with him include the JQI and QuICS, where he collaborates on experimental and theoretical projects. Graduate student and postdoc positions are available in his group, focusing on areas like quantum magnetism and topological systems. His work often involves close ties with experimental groups, emphasizing practical applications of theoretical breakthroughs.

Sam Statonمشاهده پروفایل

استاد

• Programming Language Theory
• Probabilistic Programming
• Quantum Computing
• +۳ مورد دیگر

Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.

David Duvenaudمشاهده پروفایل

دانشیار

• Machine Learning
• Generative Models
• Bayesian Inference
• +۵ مورد دیگر

David Duvenaud is an Associate Professor at the University of Toronto , holding a Canada Research Chair in Generative Models and a Schwartz Reisman Chair in Technology and Society . He is cross-appointed to the Department of Computer Science and Department of Statistical Sciences . A Sloan Research Fellow and founding member of the Vector Institute , his work bridges deep probabilistic models , AI safety , and scientific computing . PhD in Machine Learning (University of Cambridge, 2014) Postdoc in Hyperparameter Optimization (Harvard University, 2016) Co-founded Invenia (energy forecasting company) His research spans foundational Neural Ordinary Differential Equations (NeurIPS 2018 Best Paper) and Automatic Chemical Design (ACS Central Science 2018) to recent work on AGI governance (2025) and AI safety (2024). Key contributions include stochastic variational inference , implicit differentiation frameworks , and antisymmetrization layers for quantum Monte Carlo. Recent publications (2024-2025) focus on systemic existential risks from AI , many-shot jailbreaking attacks , and epistemic uncertainty quantification . His group trains energy-based models with scalable MCMC samplers and develops invertible neural architectures (e.g., Residual Flows NeurIPS 2019). He also explores human-AI alignment through LLM Processes (NeurIPS 2024) and Sycophancy in Language Models (ICLR 2024). Canada Research Chair (2025) NSERC Grant (2025) Sloan Research Fellow (2021) Schwartz Reisman Chair (2021) Best Paper Award (NeurIPS 2018) Distinguished Paper Award (ICFP 2021) His students include James Requeima , Jesse Bettencourt , and Raymond Douglas . He teaches courses on Statistical Methods for Machine Learning and Differentiable Inference . Current work (2025) investigates systemic human disempowerment through incremental AI capabilities and sabotage risk mitigation via hyperparameter-aware evaluations.

• Computer Engineering
• Circuit Design
• Fault Tolerance
• +۶ مورد دیگر

Matteo Sonza Reorda is a Full Professor at the Polytechnic University of Turin, affiliated with the Department of Automatic Control and Computer Science (DAUIN). He holds roles such as Partnership Agreement Coordinator with SMAT and has served as Vice-Rector for Research (2021–2024). His research focuses on fault tolerance, hardware reliability, and AI acceleration, with contributions to GPU/CNN reliability, self-test libraries, and defect-oriented testing. Education: M.S. in Electronics Engineering, Politecnico di Torino (1986) Ph.D. in Computer Engineering, Politecnico di Torino (1990) Research Interests: His work spans automatic test equipment, circuit reliability, GPU fault tolerance, neural network hardening, and embedded systems safety . He leads the Electronic CAD & Reliability Group and collaborates with institutions like the ISI Foundation and the National Research Council (CNR). Publications & Impact: With over 180 publications, his recent work emphasizes AI accelerator reliability, fault injection techniques, and safety-critical systems. Key trends include GPU resilience for CNNs, self-test library optimization, and radiation fault modeling in neural networks. Awards & Recognition: IEEE Fellow (2016–) Multiple best-paper awards at IEEE conferences (DDECS, DATE, etc.) Grants & Collaborations: Coordinator of EU projects (RESCUE, TUTORIAL) Partnerships with EDF, Marelli Europe, and SMAT Lead on National HPC/Quantum Computing Spoke 1 (2022–2025) Labs/Teams: Leads the CAD Group and collaborates with the French-Italian LIA LAFISI lab on hardware-software integration.

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

استاد

• Quantum Computing
• Quantum Information Science
• Trapped Ion Quantum Systems
• +۵ مورد دیگر

Jungsang Kim is the Schiciano Family Distinguished Professor of Electrical and Computer Engineering and Professor of Physics at Duke University. He serves as Associate Director of the Duke Quantum Center and leads the Multifunctional Integrated Systems Technology group. Quantum Computing with Trapped Ions Quantum Information Science Photonic Device Development Quantum Communication Networks His research focuses on scalable quantum information processors using trapped atomic ions and advanced photonic technologies. Key innovations include microfabricated ion traps, optical MEMS, and cryogenic systems for quantum integration. Recent publications highlight trapped ion quantum simulation, high-fidelity gate design, and photonic error mitigation. His group develops practical quantum hardware and co-founded IonQ, the first publicly traded pure-play quantum computing company. Fellow, American Physics Society (2021) Stansell Family Distinguished Research Award (2016) Fellow, National Academy of Inventors Fellow, Optica (formerly OSA) Kim's work bridges quantum physics and engineering, with over 80 patents and leadership in Duke's quantum computing initiatives. He recently stepped down as IonQ's CTO while maintaining active research and strategic roles at Duke.

Herb Linمشاهده پروفایل

استاد پژوهشی

• Cybersecurity Policy
• Information Warfare
• Nuclear Security
• +۴ مورد دیگر

Dr. Herb Lin is the Hank J. Holland Fellow in Cyber Policy and Security at the Hoover Institution and Senior Research Scholar for Cyber Policy and Security at the Center for International Security and Cooperation (CISAC), both at Stanford University. He also serves as Chief Scientist, Emeritus for the Computer Science and Telecommunications Board of the National Academies, where he worked from 1990 to 2014, and as Adjunct Senior Research Scholar and Senior Fellow in Cybersecurity at Columbia University's Saltzman Institute for War and Peace Studies. Dr. Lin received his doctorate in physics from MIT, providing him with a strong technical foundation that informs his policy work at the intersection of technology and national security. His academic background bridges the gap between deep technical understanding and policy application in the cybersecurity domain. Dr. Lin's research focuses on the policy dimensions of cybersecurity and cyberspace, with particular emphasis on offensive cyber operations as instruments of national policy, information warfare, and influence operations affecting national security. His work addresses critical challenges at the intersection of emerging technologies like artificial intelligence, quantum computing, and their implications for nuclear security, election integrity, and democratic processes. He has been instrumental in analyzing how cyber capabilities are transforming traditional security paradigms and how policy frameworks must adapt to these changes. His extensive publication record reveals a consistent focus on the evolving relationship between cyber capabilities and national security strategy. Lin's work demonstrates increasing attention to the implications of artificial intelligence for warfare, the vulnerabilities created by quantum computing for current cryptographic systems, and the growing threat of cyber-enabled information warfare to democratic institutions. His research trajectory shows a progression from traditional cybersecurity issues toward the broader implications of digital technologies for national and international security. Member of Science and Security Board of Bulletin of the Atomic Scientists Served on President Obama's Commission on Enhancing National Cybersecurity (2016) Regular congressional testimony on cybersecurity matters Contributor to Stanford Emerging Technology Review As a mentor and collaborator, Dr. Lin works extensively with policymakers, military officials, and technology experts to translate complex cybersecurity concepts into actionable policy recommendations. His approach emphasizes practical solutions to emerging threats while recognizing the technical limitations and policy constraints that shape real-world security outcomes. Dr. Lin is associated with multiple research initiatives including Stanford's Center for International Security and Cooperation and the Stanford Emerging Technology Review, which aim to connect technological advances with policy considerations for national security decision-makers.

Stefano Tessaroمشاهده پروفایل

استاد

• Cryptography
• Computer Security
• Theoretical Computer Science
• +۳ مورد دیگر

Stefano Tessaro is a Professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. He holds the Paul G. Allen Career Development Professorship. His research focuses on cryptography, theoretical computer science, and computer security, emphasizing practical applications of cryptographic techniques. He co-leads the cryptography group at UW with Andrea Coladangelo and Huijia Lin, and is part of the theory group. Education: PhD in Computer Science from ETH Zurich (2010) Postdoctoral researcher at MIT CSAIL (2010-2014) and UC San Diego (2014-2019) Joined UW in 2019 as faculty Research Interests: His work spans theoretical cryptography, privacy-preserving systems, cryptographic protocols, and security foundations. He explores practical applications of cryptography, including secure protocols, post-quantum cryptography, and efficient cryptographic constructions. Articles Trends: Recent publications emphasize threshold signatures, memory-tight security proofs, lattice-based cryptography, and privacy-preserving systems. Key themes include adaptive security, formal verification, and efficiency improvements in cryptographic protocols. Awards: NSF CAREER Award Sloan Research Fellowship Hellman Fellowship Research awards from Cisco, JP Morgan, and Microsoft Grants & Advising: His research has been supported by NSF grants and industry partnerships. He advises students in cryptographic theory and applications, though no specific student names are listed in the provided text. Labs & Teams: Co-leads the UW cryptography group, collaborating on projects like LERNA (secure aggregation) and Twinkle (threshold signatures). Engages with interdisciplinary teams in theoretical computer science and security.

Peter Selingerمشاهده پروفایل

استاد

• Quantum Computing
• Category Theory
• Mathematical Logic
• +۴ مورد دیگر

Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.

• Network Security
• Cryptographic Protocols
• Industrial Control System Security
• +۷ مورد دیگر

Professor Ernest Foo is a distinguished academic at Griffith University's School of Information and Communication Technology, specializing in cybersecurity with a focus on industrial control systems and cryptographic protocols. With over 15 years of experience in computer networking, he has established himself as a leading expert in SCADA security and smart grid cybersecurity. His research has significant practical applications in critical infrastructure protection, and he has developed hands-on security training programs that have trained professionals from major Australian utilities and government agencies. Professor Foo's educational background includes: Bachelor of Engineering with Honours in Electronic and Computer Engineering from University of Queensland Doctor of Philosophy from Queensland University of Technology Professor Foo's research interests center around secure cryptographic protocols with specific applications in industrial control system security and cyber physical systems. His work spans SCADA security, smart grid protection, wireless sensor network security, and post-quantum cryptography. He has made significant contributions to understanding vulnerabilities in industrial protocols like Modbus and DNP3, and has pioneered the application of process mining and data mining techniques for attack detection in critical infrastructure systems. His research bridges theoretical security concepts with practical implementations in real-world industrial environments. Professor Foo's recent publications demonstrate a clear trajectory toward increasingly sophisticated security frameworks for critical infrastructure. His work shows a progression from foundational SCADA security research to advanced applications of artificial intelligence, machine learning, and formal methods in cybersecurity. A notable trend is the integration of zero trust principles with industrial control systems, alongside growing emphasis on post-quantum cryptographic solutions. His publications span high-impact journals and conferences in cybersecurity, with increasing focus on anomaly detection in cyber-physical systems and the application of graph-based machine learning techniques to network security challenges. Professor Foo's notable scientific achievements include: Best paper award at the 2nd International Cyber Resilience Conference for "Gap analysis of Intrusion Detection in Smart Grids" Professor Foo has secured significant research funding including an ARC Linkage grant with Powerlink Queensland focused on cyber security for electricity sub-stations. He currently leads multiple research projects including Westpac Micro-Credentials in Financial Crime Investigation, Digital Banking Micro-credentials with ANZ, and research on quantum-safe cryptography. As a dedicated educator, he serves as Program Director for multiple cybersecurity programs including the Master of Cyber Security, and has supervised numerous doctoral and masters students. His Cyber Security: Industrial Control System course, conducted annually from 2013-2018, featured innovative hands-on training with real-world participants from major Australian utilities. Professor Foo has been instrumental in establishing the SCADA security research laboratory with multiple vendor system miniatures running industrial PLCs. His work bridges theoretical security concepts with practical implementations, making significant contributions to the security of industrial control systems and critical infrastructure worldwide.