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

• Quantum Computing Theory
• Open Quantum Systems
• Quantum State Estimation
• +۳ مورد دیگر

Lev S Bishop is a Researcher at IBM Research - Yorktown Heights specializing in quantum computing. His work focuses on theoretical aspects of quantum systems with applications in practical quantum computing architectures. Affiliated with IBM's Quantum Computing research division, he contributes to advancing the field through both theoretical frameworks and practical implementations. Dr. Bishop's research interests center on the theory of quantum computing, strong driving of open quantum systems, quantum state and process estimation and verification, and scalable architectures for quantum computing. His work bridges theoretical quantum mechanics with practical quantum computing implementation challenges. Through innovative approaches to quantum circuit design, error correction, and system calibration, he addresses fundamental obstacles in building practical quantum computers. Analysis of his recent publications reveals a consistent focus on quantum circuit optimization, error mitigation techniques, and quantum assembly language development. His research demonstrates particular expertise in quantum gate calibration, qubit mapping algorithms, and noise characterization in multi-qubit systems. The publications show increasing sophistication in handling quantum hardware constraints while maintaining computational fidelity. Dr. Bishop collaborates extensively within IBM's quantum research team, working alongside prominent researchers including Jay Gambetta (VP of Quantum, IBM Fellow), Petar Jurcevic (Staff Research Scientist), Arkopal Dutt (Research Scientist), and Alexander Ivrii (Researcher in Quantum Computing). His collaborative work spans theoretical developments and experimental implementations across IBM's quantum computing initiatives.

• Computer Architecture
• Quantum Computing
• Superconducting Electronics
• +۵ مورد دیگر

Georgios Tzimpragos is an Assistant Professor in the Department of Computer Science and Engineering at the University of Michigan, College of Engineering. His research focuses on advanced hardware systems, including superconducting electronics, quantum computing, FPGA design, and energy-efficient architectures. He emphasizes independent student research leadership, with weekly one-on-one meetings and occasional lab visits. Students are expected to present progress in weekly group meetings using slide summaries. He actively supports internships, particularly during summer, and encourages teaching experiences via GSI roles. Research interests span superconducting circuits, temporal logic applications, and hardware acceleration for machine learning. Key venues include ISCA, ASPLOS, MICRO, and PLDI. Funding for conference participation prioritizes students with accepted papers, leveraging university and external resources. Vacations are respected, with one-month advance notice required except during critical deadlines. Publications emphasize novel circuit designs (e.g., clockless SfQ logic, superconducting memory) and tools like PyLSE for superconductor electronics. His group develops hardware instrumentation frameworks and explores low-power computing paradigms. No formal awards are listed, but contributions to Rackham-funded initiatives highlight collaborative research efforts.

Heinz Rienerمشاهده پروفایل

پژوهشگر

• Logic Synthesis
• Formal Methods
• Computer-Aided Verification
• +۴ مورد دیگر

Heinz Riener is a Researcher at the Integrated Systems Laboratory (LSI) within the School of Computer and Communication Sciences (IC) at EPFL, Lausanne, Switzerland. He holds a Ph.D. (Dr.-Ing.) in Computer Science from the University of Bremen, Germany. Previously, he worked at the German Aerospace Center (DLR) and the University of Bremen's Reliable Embedded Systems group. His research focuses on logic synthesis , formal methods , and computer-aided verification of hardware and software systems. Key areas include quantum computing (e.g., AQFP circuits), nanotechnology (e.g., RFET-based circuits), and emerging technologies like adiabatic quantum-flux parametron systems. Developed open-source tools like mockturtle and easy for logic synthesis and ESOP forms. Principal Investigator on projects like the Open Logic Synthesis Libraries initiative. Active in program committees for conferences like DAC, DATE, and FDL. Collaborates with institutions such as TU Graz, TU Hamburg, and UC Berkeley. His work emphasizes reproducibility and open-source collaboration in logic synthesis, contributing to benchmarks and libraries widely used in academia and industry.

Martina Nibbiمشاهده پروفایل

پژوهشگر

• Quantum Computing
• Quantum Algorithms
• Quantum Simulation
• +۴ مورد دیگر

Martina Nibbi is a Researcher and PhD candidate at the Technical University of Munich (TUM) within the TUM School of CIT , Department of Computer Science. Her work focuses on quantum algorithms, quantum chemistry, and quantum simulation of fermionic systems. She holds a B.Sc. and M.Sc. in Physics from Università degli Studi di Milano (2016–2022) and has conducted a visiting research stint at the Lawrence Berkeley National Laboratory in Spring 2025. Research Interests: Martina’s research explores quantum computing applications in chemistry and physics, including block encoding techniques for matrix product operators, tensor networks, and multiwavelet-based methods. She investigates computational methods to optimize wavefunctions and simulate fermionic systems at the complete basis set limit. Teaching: She contributes to courses such as Informatics for Engineering (C programming) and Advanced Concepts of Quantum Computing , spanning both lectures and seminars. Publications: Her recent work includes advancements in quantum algorithm design and computational methods, such as optimizing wavefunctions using multiwavelets and DMRG, and developing block encoding frameworks for matrix product operators. Supervised Work: Cecilie Priller (B.Sc. 2024): Computational complexity analysis of linear combination of unitaries block encoding Robert-Mihai Budai (M.Sc. 2024): Quantum algorithms using Lindbladian dissipation Defne Tolun (B.Sc. 2025): Complexity analysis of linear combination of unitaries in quantum chemistry

Fraser Brownمشاهده پروفایل

استاد مدعو

• Systems
• Programming Languages
• Security
• +۳ مورد دیگر

Fraser Brown is a Courtesy Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, affiliated with the College of Engineering. His research focuses on the intersection of systems, programming languages, and security, with particular emphasis on verified compilers, cryptographic applications, and finding vulnerabilities in real systems. He holds a position at the university's Pittsburgh campus located at 5000 Forbes Avenue. His research interests include compiler optimization verification, cryptographic protocol compilation, and secure execution environments. Notable projects involve verified components of browser JIT compilers and compilation infrastructure for cryptographic use cases. He has contributed to frameworks like WaVe (verifiably secure WebAssembly runtime) and Icarus (trustworthy JIT compilers). Recent publications (2021–2025) explore topics such as zero-knowledge proof compilers, secure MPC protocols, and microarchitectural vulnerability mitigation. His work frequently combines formal verification techniques with practical system implementations to enhance software and hardware security. Fraser has collaborated on grants like the SaTC-funded project on verified secure sandboxed systems. While no formal advisees are listed, his research contributions reflect collaborative efforts in academic and industrial contexts. His work is disseminated through venues like programming language and security workshops (e.g., PLAS 2023) and peer-reviewed journals/conferences.

Richard Ansorgeمشاهده پروفایل

مدرس ارشد

• Medical Imaging
• Biophysics
• High-Performance Computing
• +۵ مورد دیگر

Dr. Richard Ansorge is a Retired Senior Lecturer at the University of Cambridge and Fellow of Fitzwilliam College. He specializes in interdisciplinary research at the intersection of physics and life sciences, particularly in medical imaging technologies. His work focuses on advanced imaging modalities such as MRI/PET integration, dose calculation algorithms for proton therapy, and high-performance computing applications in medical imaging. Ansorge’s research interests include the physics of life, computational methods for medical imaging, and the development of novel imaging systems. He has contributed to advancements in PET/MRI co-registration, GPU-accelerated image processing, and radiation therapy optimization. His academic career has involved pioneering work in MRI signal theory, attenuation correction techniques, and small-animal imaging systems. Notable research trends in his publications emphasize the fusion of medical imaging modalities (e.g., PET/MRI), optimization of radiation delivery systems, and leveraging parallel computing (CUDA/GPU) for real-time medical applications. His work bridges fundamental physics principles with practical biomedical engineering solutions. Awards: No scientific awards explicitly mentioned in the provided texts. However, his contributions to medical imaging and particle therapy reflect significant impact in the field. Advising and grants: No specific student advisees or grant details provided. His research has likely been supported by institutional funding and collaborative projects at Cavendish Laboratory. Labs/Teams: Affiliated with the Cavendish Laboratory at the University of Cambridge, focusing on interdisciplinary physics and life sciences research.

Claire Gmachlمشاهده پروفایل

استاد

• Quantum Cascade Lasers
• Optics
• Semiconductor Engineering
• +۳ مورد دیگر

Claire Gmachl is the Eugene Higgins Professor of Electrical Engineering at Princeton University, serving as the Associate Chair of the Department of Electrical and Computer Engineering and Head of Whitman College. She is affiliated with the High Meadows Environmental Institute (HMEI) as an Associated Faculty member and contributes to the Grand Challenges Program. Her roles emphasize leadership in both academic administration and cutting-edge research. Her research interests focus on quantum cascade lasers, optics, semiconductor engineering, and their applications in optical sensors for environmental and health monitoring. Notably, she explores hyperuniform semiconductor metamaterials, wireless power systems for lasers, and machine learning-driven approaches to optimize laser design. Recent work highlights advancements in mid-infrared spectroscopy for non-invasive glucose sensing and novel cavity geometries for laser stability and efficiency. Her research outputs demonstrate a strong emphasis on interdisciplinary innovation, particularly at the intersection of machine learning and optoelectronics. Articles from 2022-2025 reveal trends in developing robust quantum cascade laser systems and exploring their use in precision applications like medical diagnostics and environmental sensing. While no scientific awards are listed, her contributions to the field are evident through collaborations with HMEI and Whitman College. Her advising and grant activities are not explicitly detailed in the text. She leads research in labs focused on metamaterials, semiconductor lasers, and sensor technologies, contributing to both the School of Engineering and the broader university community through her administrative roles.

Todd Martinezمشاهده پروفایل

استاد

• Theoretical Chemistry
• Photochemistry
• Mechanochemistry
• +۳ مورد دیگر

Todd Martinez is the David Mulvane Ehrsam and Edward Curtis Franklin Professor of Chemistry and Professor of Photon Science at Stanford University, affiliated with SLAC National Accelerator Laboratory. His research focuses on theoretical and computational chemistry, with emphasis on photochemistry, mechanochemistry, and quantum mechanical methods. He earned his PhD in Chemistry from UCLA in 1994, followed by postdoctoral work at UCLA and the Hebrew University in Jerusalem before joining Stanford in 2009. His group develops novel simulation tools, including GPU-accelerated quantum chemistry software (e.g., TeraChem) and virtual reality interfaces (InteraChem and MolAR) for interactive molecular modeling. Key interests include predicting molecular behavior under light and mechanical force, designing self-healing materials, and advancing reaction discovery through first-principles methods. Awards include the MacArthur Fellowship and recognition as a Fellow of the American Academy of Arts and Sciences. Education: PhD in Chemistry (UCLA, 1994); Postdoctoral Studies at UCLA and Hebrew University (Jerusalem) Research Themes: Molecular modeling, excited-state dynamics, mechanochemical reactions, and computational tools Publications span ultrafast spectroscopy, quantum mechanical modeling, and algorithm development for large-scale simulations. The Martinez Group’s work bridges theory and application, aiming to make molecular design predictive and accessible through interdisciplinary collaborations.

Mamoun Alazabمشاهده پروفایل

استاد

• Cyber Security
• Data Analytics
• Digital Forensics
• +۷ مورد دیگر

Professor Mamoun Alazab is a full Professor and Inaugural Director of the NT Academic Centre for Cyber Security and Innovation (ACCI) at Charles Darwin University. His expertise spans cyber security, data analytics, and digital forensics with a focus on AI-driven solutions for cybercrime detection and privacy preservation. Research Interests: Malware authorship attribution, adversarial AI, access control systems in CPS/IoT, cyber criminology, and privacy-preserving machine learning. He has secured ~A$16.7M in research funding and published over 300 top-tier papers (90% in top 10% journals), 11 books, and holds 3 patents. Editorial Roles: IEEE Transactions on Computational Social Systems, ACM Digital Threats: Research and Practice Professional Activities: Founding Chair of IEEE NT Subsection, convened 200+ conferences Awards: Clarivate Highly Cited Researcher (2022), Top 2% Global Scientists (2020–2022), and multiple IEEE leadership awards. Labs/Teams: Leads ACCI, collaborates on projects like Cyber Territory Skills Hub and CVE: Countering Violent Extremism Research.

Stefaan Hessmannمشاهده پروفایل

پژوهشگر

• Deep Learning
• Materials Science
• Quantum Chemistry
• +۱ مورد دیگر

Stefaan Hessmann is a doctoral researcher at the Machine Learning Group within the Technical University of Berlin, affiliated with BIFOLD (Berlin Institute for the Foundations of Learning and Data). His research focuses on applying deep neural networks to materials science, particularly in quantum chemistry and generative models. He holds a Bachelor's degree in Physics from Technische Universität Dresden and an MSc in Computational Sciences from Freie Universität Berlin (2019). Education: - MSc in Computational Sciences, 2019: Freie Universität Berlin - BSc in Physics: Technische Universität Dresden Research Interests: Hessmann explores the intersection of machine learning and materials science, with emphasis on generative models for molecular design and quantum chemistry simulations. His work integrates deep learning techniques to address challenges in computational materials discovery and molecular dynamics. Research Trends: His publications highlight advancements in neural network-based approaches for crystal structure prediction, molecular relaxation via reverse diffusion, and inverse design of 3D molecular structures. His tools (e.g., SchNetPack 2.0) contribute to atomistic machine learning frameworks. Awards: No awards explicitly mentioned in the text. Advising & Grants: No student advisees or grant details provided. His research is likely supported through institutional affiliations. Labs/Teams: Active member of the Machine Learning Group at TU Berlin and BIFOLD, collaborating on foundational AI research in materials science.

Gabriel Niculescuمشاهده پروفایل

استاد

• Nuclear Physics
• Particle Physics
• Detector Development
• +۳ مورد دیگر

Dr. Gabriel Niculescu is a Professor of Physics & Astronomy at James Madison University (JMU) since 2003. His research focuses on experimental nuclear and particle physics, emphasizing detector technology development and hardware/software R&D. He collaborates with major institutions like Jefferson Lab (JLab), Fermilab, and Brookhaven National Laboratory (BNAL). Education: PhD in Nuclear and Particle Physics, Hampton University (1998) MS and BS in Applied Nuclear Physics, University of Bucharest, Romania (1991) His work bridges theoretical predictions with experimental validation, particularly in optimizing photomultiplier tube performance and exploring fundamental particle asymmetries. Research outputs include advancements in detector calibration methodologies and insights into quark distribution dynamics. Dr. Niculescu’s contributions to accelerator-based experiments underscore his commitment to advancing precision instrumentation in high-energy physics.

Sergio Martíمشاهده پروفایل

پژوهشگر

• Computational Chemistry
• Biochemistry
• Molecular Modeling
• +۳ مورد دیگر

Sergio Martí is a Researcher at the Institute of Advanced Materials (INAM) of Jaume I University in Castelló, Spain, leading the Computational Biochemistry research group (RG9). His work focuses on developing computational methodologies to investigate biological systems, particularly enzyme mechanisms and therapeutic target validation. He earned his Chemistry degree (1997) and PhD in Chemistry (2002) from Jaume I University under Prof. Iñaki Tuñón and Prof. Vicent Moliner. His postdoctoral training spanned the University of Bath (UK), Institut de Biologie Structurale (France), Université Henri Poincaré (France), and the University of Minnesota (USA). Dr. Martí specializes in quantum mechanics/molecular mechanics (QM/MM) simulations to unravel enzyme catalysis mechanisms. His research targets neurodegenerative diseases (Alzheimer's via RgpB gingipain inhibition) and viral infections (SARS-CoV-2 Mpro inhibition), combining computational modeling with experimental validation. He has developed the QMCube (QM3) software suite for multiscale simulations. Recent publication trends reveal increasing focus on covalent drug design against therapeutic targets, with strong emphasis on reaction mechanism elucidation through advanced computational techniques. His work bridges fundamental enzymology and translational drug discovery. As part of INAM's training programs, Dr. Martí supervises PhD and Master's students in computational biochemistry. His research group utilizes high-performance computing infrastructure within IDIFEDER-INAM laboratories to model complex biomolecular systems. The Computational Biochemistry group (RG9) operates within INAM's interdisciplinary framework, collaborating across materials science and biotechnology domains while maintaining strong focus on methodological development for biological applications.

José Bacelar Almeidaمشاهده پروفایل

استادیار

• Cryptography
• Information Security
• Program Verification
• +۳ مورد دیگر

José Bacelar Almeida is an Assistant Professor at the Department of Informatics at Universidade do Minho and a Senior Researcher at HASLab/INESC TEC since 2011. He holds a PhD in Computer Science from Universidade do Minho (2003). His research focuses on Cryptography, Information Security, and Program Verification, with an emphasis on formal methods for ensuring cryptographic software correctness and security. He has contributed to high-assurance implementations of cryptographic systems, bridging theoretical security with real-world applications. His research interests include provable security, formal verification of cryptographic proofs, and secure cryptographic software implementations. Notable work includes formally verified implementations of Kyber (a post-quantum cryptosystem) and machine-checked proofs for security protocols like ML-KEM. He also explores leakage-free probabilistic programs and secure compilation frameworks. Almeida has supervised multiple theses on topics such as cryptographic implementation verification, cloud security, and password management systems. His publications span conferences like CRYPTO and CPP, journals like the Journal of Logical and Algebraic Methods in Programming, and venues on formal methods and secure computation. He is part of the High-Assurance Software research center at INESC TEC and actively contributes to projects involving certified cryptographic software and secure multiparty computation. His work emphasizes practical, high-performance solutions with rigorous formal guarantees.

• Geometric Modelling
• Computer Animation
• Computer Art
• +۹ مورد دیگر

Valery Adzhiev is a Professor at Bournemouth University's National Centre for Computer Animation (NCCA), part of the Faculty of Media & Communication. He holds a PhD in Computer Science from Moscow State Engineering Physics Institute (MEPhI) and has extensive experience spanning both industry and academia. His career includes significant contributions to the "Buran" spacecraft program (the Russian equivalent of the Space Shuttle) at the Flight Research Institute in Moscow, followed by an Associate Professor position at MEPhI before joining Bournemouth University in 2000. Adzhiev's research primarily focuses on functionally-based geometric modeling and its applications in computer animation, digital art, and 3D fabrication. He has developed theoretical frameworks for hybrid modeling of time-variant heterogeneous objects and has designed high-level modeling languages including HyperFun and HyperJazz. His work on the international HyperFun open-source project has found applications across education, research, design, art, cultural heritage, and computer animation. He has also applied "Empirical Modelling" principles to computer games with high interactivity. His recent publications (2019-2025) demonstrate continued research activity across multiple domains including cultural heritage visualization, multisensory analytics, mass customization, and advanced geometric modeling techniques. These works show a consistent trend toward interdisciplinary applications of his core expertise in function representation, with increasing focus on cultural heritage applications, multisensory data representation, and practical applications in mass customization. Prize in Dream Centenary Computer Graphics Grand Prix '99 Research Fellowship at University of Aizu, Japan Royal Society Research Fellowship at University of Warwick Adzhiev has supervised PhD students including Ali Abdallah (Web-based Shape Modeling) and Mathieu Sanchez (Distance Functions for Time-variant Heterogeneous Object Modelling). He has been involved in multiple significant research grants including VolComAni (Volumetric Computer Animation Framework), VOLCAN (Next Generation Volumetric Computer Animation Framework), and the SHIVA project (Sculpture for Health-care: Interaction and Virtual Art in 3D). He maintains active roles in the academic community as an editorial board member for several journals, program committee member for international conferences, and has served as Technical Program Committee Co-Chair for Shape Modeling International 2013. His work bridges computer science theory with practical applications in art, education, and industry.

Jerry Horganمشاهده پروفایل

مدرس پاره‌وقت

• Quantum Communications
• Quantum Algorithms
• Satellite Communications
• +۳ مورد دیگر

**Jerry Horgan** is a Part-Time Lecturer (night-time) at the Department of Computing and Mathematics within the Walton Institute for Information and Communications Systems Science . He leads the IT Services Team (Infrastructure Group) and oversees the Research Data Centre. His expertise includes designing and securing research testbeds, satellite communications, quantum algorithms, and cybersecurity. He teaches Automated Cloud Services and Networks Infrastructure. Education: Masters Degree in IT Management, Maynooth University (2013–2014) Masters Degree in Communications Software (2006–2008) Bachelors Degree in Applied Computing (1999–2002) National Certificate in Industrial Computing (1997–1999) Research Interests: Quantum Algorithms, Quantum Communications, Satellite Communications, Cybersecurity, Testbeds, and Data Centre Management. His work aligns with UN Sustainable Development Goals, particularly in advancing secure and sustainable communication infrastructure. Technical Leadership: Manages infrastructure for research testbeds, cloud services, and IoT projects. His recent articles focus on quantum communication protocols, satellite-based security systems, and post-quantum encryption for embedded devices. Grants & Labs: Secured funding for research testbeds and platforms. Active in the IT Services Team and Research Data Centre, contributing to software-defined infrastructure and cloud service deployments.