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

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.

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

Christof Paar is a Professor of Embedded Security at Ruhr University Bochum's Faculty of Computer Science. His work focuses on hardware security, cryptography, and embedded systems security. He leads the Embedded Security Group within the CASE Cluster of Excellence (Cyber Security in the Age of Large-Scale Attacks), addressing cutting-edge challenges in hardware Trojans, side-channel attacks, and cryptographic engineering. His research spans FPGA and IoT security, with contributions to physical-layer security, wireless jamming defenses, and tamper-resistant systems. Research Interests: Paar's expertise lies in hardware-software co-design for security, with a focus on embedded systems. His work includes analyzing vulnerabilities in FPGAs, developing countermeasures against side-channel attacks, and exploring physical-layer security mechanisms. He also investigates the human factors in hardware reverse engineering and the implications of adversarial machine learning on security systems. Notable Work: Recent publications highlight breakthroughs in detecting hardware Trojans across CMOS generations, breaking industry-standard IP protection mechanisms (IEEE 1735), and proposing novel defenses like IRShield against adversarial wireless sensing. His group actively contributes to standards for secure embedded systems and IoT devices, emphasizing practical implementations.

• Embedded Security
• Cryptography
• Hardware Security
• +۵ مورد دیگر

Dr. Feng Cheng is a Senior Researcher and head of the IT Security Engineering (Sec-Eng) Team at the Hasso Plattner Institute (HPI), Germany, and serves as the Representative of the Chair "Internet Technologies and Systems" at the Digital Engineering Faculty, University of Potsdam. He holds a PhD from the University of Potsdam, an MEng from Beijing University of Technology, and a BEng from Beijing University of Aeronautics and Astronautics. His research is centered on data-driven security engineering, security analytics, network security, cloud security, firewall, IDS/IPS, attack modeling, and penetration testing. Dr. Cheng's research interests span a broad range of cybersecurity domains, with a strong emphasis on security analytics , data-driven threat detection , cloud and network security , and authentication . His work integrates advanced data engineering and machine learning techniques to enhance security operations, including intrusion detection, threat intelligence, and security information and event management (SIEM). Key application areas include IoT security, mobile security, and web security. The recent publications of Dr. Cheng and his team reflect a significant trend towards leveraging big data analytics , machine learning , and graph-based methods for cybersecurity. Their work focuses on developing frameworks for blockchain-based public key infrastructures, advanced SIEM analytics, malware detection using NLP, and chaos engineering for cloud security. This demonstrates a strong commitment to creating practical, scalable, and intelligent solutions for modern security challenges in complex, distributed environments. Dr. Cheng is actively involved in the academic community as a member of ACM and IEEE, a program committee member for numerous international conferences, and an organizer of workshops on cloud computing and cybersecurity. He has also served on editorial boards for international journals. He supervises a large group of PhD, master's, and bachelor's students, guiding research on topics such as security analytics, cyber threat intelligence, digital credentials, and behavioral authentication. He leads the Sec-Eng team, which conducts research on a diverse portfolio including the Security Analytics Lab, HPI-VDB (vulnerability database), Lock-Keeper (physical separation technology), and the Security Lab Generator for scenario-driven security training.

• Data-Driven Security Engineering
• Security Analytics
• Network Security
• +۱۹ مورد دیگر

Dr.-Ing. Tobias Fiebig is a Senior Researcher at the Max Planck Institute for Informatics (Internet Architecture department) since April 2022. He previously served as a permanent Assistant Professor at TU Delft's Faculty of Technology, Policy and Management from 2017-2022. His work combines network measurement with human factors to improve security practices, focusing on email protocols, DNS infrastructure, and academic cloud migration. PhD in Computer Science from TU Berlin (2017) MSc in System and Network Engineering from University of Amsterdam (2013) BSc in Cognitive Science from University of Osnabrück (2012) His research spans Internet security (DNS, IPv6, email), academic freedom in cloud contexts, and human-centered security challenges. Recent work analyzes MTA-STS deployment, DNS sampling biases, and university cloud migration privacy implications. He has presented at top conferences including USENIX Security , IEEE Symposium on Security and Privacy , and ACM CCS . Teaching roles include lecturing Data Networks (2023-24) and On the Practice of System and Network Engineering (2024), with prior module management in cyber security analytics and sustainable system operations.

• Network Security
• Human Factors in Security
• Internet Measurement
• +۵ مورد دیگر

Moritz Wiese is a Researcher at the Chair of Theoretical Information Technology within the Department of Electrical and Computer Engineering at Technische Universität München (TUM) . His work focuses on information-theoretic security, quantum communication, and wireless networks, with significant contributions to interference modeling and secure coding schemes. Research Interests : Information-Theoretic Security, Quantum Wiretap Channels, MIMO Systems, 5G/6G Technologies, Physical Layer Security, and Network Coding. Key Grants : Involved in DFG-funded projects (Gottfried Wilhelm Leibniz Prize, UKoloS) and BMBF initiatives (6G-life, QuaDiQua). Collaborations : Worked with Prof. Holger Boche, Christian Deppe, and Rami Ezzine on secure communication and randomness generation. Labs : Active in the ACES Lab and 6G-life research hub, focusing on joint communication/sensing and neuromorphic computing. Publications : Over 20 papers on secure estimation, wiretap channels, and quantum secrecy, including top-tier journals like IEEE Transactions on Information Theory and Journal of Mathematical Physics .

• Information-Theoretic Security
• Quantum Communication
• Wireless Communication Networks
• +۹ مورد دیگر

Prof. Dr. Tobias Gemmeke is a University Professor at RWTH Aachen University's Faculty of Electrical Engineering and Information Technology, leading the Chair of Integrated Digital Systems and Circuit Design. His work focuses on neuromorphic computing, hardware accelerators, and energy-efficient electronics. He has pioneered advancements in FPGA-based computational neuroscience simulators, neuromorphic processor architectures, and sensor integration for industrial and medical applications. Research interests include time-domain computing, ReRAM reliability, and co-optimization of neural networks with hardware. Notable contributions include the neuroAIx framework for accelerated neuroscience simulations and energy-efficient ASIC designs for post-quantum cryptography. He actively explores memristive devices and domain generalization techniques for edge computing. Recent publications highlight innovations in spiking neural networks, sensor systems for plain bearings, and time-domain compute-in-memory engines. His work bridges theoretical neuroscience with practical hardware implementations, emphasizing scalability and real-time performance.

• Neuromorphic Computing
• Hardware Accelerators
• VLSI Circuits
• +۵ مورد دیگر

Prof. Dr.-Ing. Lars Linsen is a full Professor of Computer Science at the Westfälische Wilhelms-Universität (WWU) Münster, leading the VISualization & graphIX (VISIX) group. His primary affiliation is the Institute of Computer Science within the Faculty of Mathematics and Computer Science. He holds adjunct professorships at Jacobs University, Bremen, and has held previous academic roles including Full Professor at Jacobs University (2012–2017) and Associate/Assistant Professor roles in Germany and the U.S. His research focuses on interactive visual analysis, medical visualization, and scientific visualization, with applications in life sciences and engineering. Education: PhD (Dr.-Ing.) in Computer Science from Universität Karlsruhe (2001), M.Sc. (Diplom) in Computer Science (1997), B.Sc. (Vordiplom) in Computer Science (1994). Awards: IEEE Visualization Design Contest Winner (2008, 2022, 2018), Preis des Fördervereins des Forschungszentrum Informatik (2002). Research Highlights: Develops visualization tools for medical imaging (e.g., mass spectrometry imaging, MRI data analysis) and physical simulations (e.g., wildfire spread analysis, asteroid impact modeling). Active in EU-funded projects like Pig-Pro-QuO (surface coatings) and cells-in-motion initiatives. Supervised over 20 PhD/MS advisees, including notable graduates in medical visualization and simulation ensemble analysis. Publications: Over 100 peer-reviewed articles in top venues like IEEE Transactions on Visualization and Computer Graphics, Computers & Graphics, and EuroVis. Key works include SciVis contest-winning wildfire analysis frameworks and medical visualization tools for stenosis detection. Teaching: Offers courses on visualization, computer graphics, and computational science. Actively involved in thesis supervision and curriculum development at both WWU Münster and Jacobs University. Grants & Collaborations: Principal investigator on DFG-funded projects (e.g., hemodynamics simulations, ensemble visualization) and industry collaborations (e.g., Tascon GmbH for coating quality analysis). Member of the Cells-in-Motion Interfaculty Centre and CDH board at WWU.

• Interactive Visual Analysis
• Medical Visualization
• Scientific Visualization
• +۴ مورد دیگر

Christian Rossow is Faculty at CISPA – Helmholtz Center for Information Security in Dortmund, Germany, where he leads the System Security research group. He holds dual academic appointments as a professor in the Computer Science department at Saarland University and as an honorary professor at TU Dortmund University. His research spans systems, software, and network security, with a focus on cyber attacks, defenses, and privacy. Research Interests: His primary research areas include software and system security (e.g., exploitation techniques, compiler-assisted defenses, AI-assisted (in)security), network security (e.g., DDoS mitigation, attack attribution, traffic analysis), and cybercrime (e.g., malware analysis, data-driven studies). He emphasizes foundational research with practical applications. Publication Trends: His recent work (2023–2025) shows a strong focus on microarchitectural attacks (e.g., cache side-channels, prefetcher analysis), browser and web security (e.g., sandbox escapes, CSS fingerprinting), network protocol vulnerabilities (e.g., TCP spoofing, infinite loops), and applied cryptography (e.g., ISA extensions for key management). His research consistently targets top-tier venues like IEEE S&P, USENIX Security, ACM CCS, and NDSS. Distinguished Paper Award at IEEE EuroS&P 2021 Best Student Paper Award at MIT Spam Conference 2010 Advising and Grants: He actively supervises PhD students and postdoctoral researchers, with alumni placed in industry (NVIDIA, Crowdstrike, Continental) and academia. His research is supported by major grants including EU H2020 SISSDEN, BMBF-funded BOB, DFG-funded anonymous communication, and RAMSES. He regularly serves in leadership roles in the community, including PC Chair for RAID 2022/2023 and USENIX WOOT 2018, and Track Chair for ACM CCS 2026. Labs and Teams: He leads the System Security research group at CISPA, a world-leading institution for security and privacy. The group comprises talented full-time researchers and focuses on cutting-edge research with strong individual supervision and worldwide collaborations.

• Software Security
• System Security
• Network Security
• +۱۵ مورد دیگر

Dr. Janis Nötzel is a senior researcher at the Chair of Theoretical Information Technology (Technische Universität München) and leads his independent Emmy Noether research group. Previously, he held a postdoctoral position at Universitat Autónoma de Barcelona and contributed to 5G practical implementations at TU Dresden's 5G Lab. His research spans quantum information theory, physical layer security, and machine learning applications. Key focuses include Quantum channel capacities under adversarial conditions Entanglement-assisted communication Quantum software frameworks (QuNetSim, QuReed) Interplay between classical and quantum communication Security analysis for 6G networks Resource optimization in quantum systems Recent publications (2023-2025) showcase innovations in Quantum satellite communication architectures Hybrid quantum-classical clustering algorithms Photonic processor instability modeling Covert capacity of compound channels Quantum key distribution resilience Free-space Bessel beam communication He actively collaborates with 6G-life research hub and contributes to quantum network simulation tools. Grants include funding from DFG (Leibniz Program), BMBF (6G-life, Q.Link.X), and StMWi (6G Zukunftslabor Bayern).

• Quantum Information Theory
• Machine Learning
• Sensor Networks
• +۳ مورد دیگر

Prof. Dr. Christian Rossow is a faculty member at CISPA – Helmholtz Center for Information Security in Dortmund, Germany. He also serves as a professor at Saarland University and an honorary professor at TU Dortmund. His research focuses on network security , system/software security , and cyber attacks and countermeasures . His recent publications include work on CSS exploitation for browser fingerprinting, Spectre mitigations on ARM, DDoS attack analysis, and hardware-assisted security extensions. Christian Rossow regularly serves as a PC member and track chair for top cybersecurity conferences like ACM CCS and USENIX Security . He advises multiple PhD students and leads a research group exploring foundational and practical security solutions.

• Network Security
• System Security
• Software Security
• +۹ مورد دیگر

Professor Ralph Holz is a leading researcher in computer networks and security at the University of Münster, with a part-time affiliation at the University of Twente. His work focuses on empirical analysis of internet security technologies, policy implications, and interdisciplinary collaboration. PhD: Technical University of Munich Undergraduate/Postgraduate: Eberhard Karls University, Tübingen Research interests span global-scale internet measurement , security technology evaluation , and policy-driven cybersecurity solutions , with recent publications on LDAP vulnerabilities, TLS 1.3 deployment, and BGP hijacking. Teaching includes Empirical Security Analysis (MSc), Operating Systems (BSc), and seminars on internet measurement tools. Collaborations involve institutions across Germany, Netherlands, and Australia. Current team: PhD students: Gerrit Seifert, Nils Kempen, Gustavo Luvizotto, Bulut Ulukapi, Shyam Krishna Khadka, Matteo Liberato, Sousan Tarahomi, Niousha Nazemi Administrative support: Clara Wigger Contact: ralph.holz@uni-muenster.de | Einsteinstr. 62, Münster, Germany

• Computer Networks
• Network Security
• Internet Measurement
• +۳ مورد دیگر

Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.

• Formal Methods
• Interactive Theorem Proving
• Program Verification
• +۹ مورد دیگر

Stefan Katzenbeisser is a Professor at the Chair of Computer Engineering, University of Passau, focusing on cybersecurity in embedded systems, critical infrastructures, and technical data protection. He serves as spokesperson for the Bavarian-funded research cluster ForDaySec and contributes to the DFG Review Board for Security and Dependability. Research areas: Automotive cybersecurity, railway security, hardware-based security (PUFs), post-quantum cryptography Key projects: RESURREC (autonomous vehicle security), FINESSE (secure transportation sensors), 6G-RIC (future mobile networks) His work spans both theoretical and applied cybersecurity, with collaborations in industry and interdisciplinary fields. Recent publications highlight innovations in secure mobility and critical infrastructure protection.

• Cybersecurity
• Embedded Systems Security
• Critical Infrastructure Security
• +۶ مورد دیگر

Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow, Fellow of the Royal Society, and Fellow of the Royal Society of Edinburgh. His work spans programming language design, type systems, and formal verification, with significant contributions to Haskell, Java, and XQuery. He has held leadership roles in ACM SIGPLAN and served on editorial boards for major journals. Research Interests: Wadler's research focuses on the foundations of programming languages , including Gradual and session typing Language-integrated query Functional and logic programming XML data models Parametricity and free theorems Verification of smart contracts Publication Trends: Recent articles emphasize type safety, formal verification, and blockchain applications. Key themes include gradual typing (blame calculus), session types for concurrency, and logical foundations of programming. His 2015–2025 papers show sustained focus on type theory and language design . Awards & Recognition: POPL Most Influential Paper (2003 for 1993 work) SIGPLAN Distinguished Service Award Best Paper SBMF 2018 Royal Society-Wolfson Fellowship (2004–2009) ACM Fellow (2007) Fellow of Royal Society of Edinburgh (2005) Advising & Grants: He has supervised numerous PhD students in programs like the Centre for Doctoral Training in Pervasive Parallelism. His EPSRC Programme Grant "From Data Types to Session Types" (2013–2020) funded major advances in concurrency theory. Current work with IOHK explores blockchain verification using Haskell-based Plutus.

• Theoretical Computer Science
• Functional Programming
• Programming Language Foundations
• +۶ مورد دیگر

Prof. Tim Güneysu is a full Professor and Head of the Security Engineering department at the Faculty of Computer Science, Ruhr-Universität Bochum. He serves as Vice Dean for Strategy and Finances (since 2023) and previously as Speaker of the Horst-Görtz Institute for IT-Security (2020-2023). His academic journey includes roles as Associate Professor at the University of Bremen (2015-2017) and Assistant Professor at Ruhr-Universität Bochum (2011-2015). He also holds positions at the German Research Center for Artificial Intelligence (DFKI) and has conducted postdoctoral research at UMass Amherst. His research focuses on Security-by-Design principles, CAD for Security, and countermeasures against physical attacks. He emphasizes efficient cryptographic implementations and system-level hardware security. Key areas include post-quantum cryptography, side-channel resistant designs, and secure embedded systems. He has contributed over 200 publications in top venues, with recent work on FPGA-based cryptographic accelerators, secure hardware extensions (e.g., KeyVisor), and post-quantum algorithms for IoT. His research themes include agile signature acceleration, fault attack mitigation, and hardware-software co-design for security. Notable projects include CONVOLVE (edge-AI security) and QuantumRISC (quantum-safe systems). His work bridges theoretical cryptography with practical hardware implementations, emphasizing real-world security applications.

• Security Engineering
• Hardware Security
• Post-Quantum Cryptography
• +۴ مورد دیگر