Find Academic Supervisors

Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +3 more

Oliver Hohlfeld is a Professor at the University of Kassel, where he leads the Distributed Systems group. He previously held academic positions at Brandenburg University of Technology and RWTH Aachen University, and was a visiting scholar at the University of Wisconsin–Madison. His research focuses on network security, Internet measurements, and Quality of Experience (QoE). He completed his Ph.D. in Computer Science at TU Berlin under Anja Feldmann and holds a B.Sc. and M.Sc. from Darmstadt University of Technology. He also worked at Fraunhofer IGD on telemedical network architectures. His research adopts a data-driven approach, combining large-scale Internet measurements, user studies, and machine learning to understand and improve Internet performance and security. Key areas include DDoS detection, QUIC, HTTP/2, TLS deployment, and BGP analysis. He investigates how protocols like QUIC and HTTP/2 impact user experience and network efficiency, often through empirical studies of real-world deployments. His recent publications highlight a strong trend in network security and protocol analysis, with significant work on DDoS attacks, traffic ingress detection, and web consolidation. He also explores social media dynamics and censorship circumvention through user reviews. 2022 IETF/IRTF Applied Networking Research Prize Best of CCR (2021) for TLS 1.3 deployment study ACM Senior Member (2020) IEEE QoMEX 2019 Best Reviewer Award ACM IMC Community Contribution Award (2018) He has advised numerous Master’s and Bachelor’s students, primarily at RWTH Aachen, and has been a principal investigator in major projects such as AIDOS (AI-based DDoS mitigation), DFG SFB MAKI, COMTEX, and the EU-funded SSICLOPS. He actively serves on the technical program committees of top-tier conferences including SIGCOMM, NSDI, IMC, and CoNEXT, and is a frequent reviewer for leading journals in networking and systems. He leads the Distributed Systems group at the University of Kassel, which conducts research on Internet observability, secure infrastructures, and scalable networking solutions.

• Network Security
• Network Measurements
• Internet Architecture
• +9 more

Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.

• Real-Time Systems
• Cyber-Physical Systems
• Operating System Design
• +5 more

Yannis Kevrekidis is a Professor at Princeton University with a distinguished career in computational mathematics and chemical engineering. He is currently a Hans Fischer Senior Fellow at the Technical University of Munich (TUM-IAS) and has held visiting positions at institutions like the Zuse Institute Berlin and Caltech. Education : National Technical University of Athens (Chemical Engineering) University of Minnesota (PhD in dynamical systems) Research Interests : Equation-Free and Variable-Free Modeling Complex Systems Dynamics Multiscale Computation Integration of Machine Learning with Scientific Computing Pattern Formation & Instability Analysis Key Article Trends : Advanced data-driven modeling of dynamical systems Manifold learning for reaction coordinates Projective integration methods Coarse-grained modeling across disciplines Applications in epidemiology, neuroscience, and fluid dynamics Scientific Awards : Guggenheim Fellowship Humboldt Research Award Computing in Chemical Engineering Award (AIChE) Bodossaki Academic Award Allan P. Colburn Award Collaborations : Extensive international collaborations with institutions in Germany, Austria, and the UK Key role in the Complex Systems Modeling and Computation focus group at TUM-IAS

• Complex Systems Modeling
• Computational Mathematics
• Applied Mathematics
• +7 more

Stefan Kowalewski serves as Professor of Embedded Software at RWTH Aachen University, leading the Chair of Embedded Software (Informatik 11) within the Department of Computer Science. His research spans critical domains including medical cyber-physical systems, automotive software, and industrial automation, with over 150 publications demonstrating sustained scholarly impact. Professor Kowalewski's work focuses on three interconnected research pillars: Embedded Systems Verification: Pioneering model checking techniques for PLC code, particularly addressing state space challenges in GRAFCET-based specifications Medical Cyber-Physical Systems: Developing safety-critical software for mechanical ventilation, extracorporeal membrane oxygenation, and ARDS diagnosis systems with strong clinical collaborations Automotive Software: Creating verification frameworks and safety architectures for automated vehicles through projects like UNICARagil Recent publications reveal an increasing integration of AI techniques with traditional verification methods, particularly for medical applications involving neonatal care and critical respiratory support. His 2024-2025 work shows particular emphasis on timing isolation in vehicle communication systems, middleware performance evaluation, and robust AI models for medical diagnosis. Professor Kowalewski maintains active collaborations with RWTH Aachen University Hospital's medical departments and automotive industry partners. His laboratory operates specialized facilities including the Cyber-Physical Mobility Lab for vehicle research and in-vivo testing setups for medical device validation. He has supervised numerous doctoral candidates, with recent students focusing on topics like ARDS classification algorithms, GRAFCET verification techniques, and safety architectures for software-defined vehicles. His educational contributions include developing remote teaching platforms for cyber-physical systems education.

• Embedded Systems
• Software Verification and Validation
• Model Checking
• +5 more

Steffen Bondorf is a Professor of Distributed and Networked Systems in the Faculty of Computer Science at Ruhr University Bochum, Germany. His research focuses on performance modeling and analysis of deterministic networking, particularly using network calculus to provide rigorous performance guarantees for networked systems. Dr. Bondorf received his B.Sc., M.Sc., and Dr.-Ing. (Ph.D.) in Computer Science from TU Kaiserslautern (TUK), where he was part of the distributed computer systems lab. He was the first student to enroll in a B.Sc. program at TUK before finishing secondary education. After graduation, he held positions as postdoctoral researcher, lecturer and Carl-Zeiss Fellow at TUK, research fellow at the National University of Singapore, and visiting researcher at the University of Toronto. From fall 2018 to fall 2019, he was funded by an ERCIM Alain-Bensoussan fellowship at NTNU Trondheim, Norway, and spent time at INRIA Paris. His research interests include network calculus, deterministic networking, performance modeling, computer networks, distributed systems, and P2P overlays. Dr. Bondorf's work has significantly advanced the field of network calculus, particularly in developing methods for analyzing FIFO feedforward networks, multicast flows, and P2P overlay structures. His recent research has integrated machine learning techniques with network calculus to improve analysis accuracy and efficiency, creating hybrid approaches that leverage the strengths of both methodologies. Dr. Bondorf was appointed as assistant professor at Ruhr University Bochum on October 1, 2019, becoming the university's first hire in the joint tenure-track program for the promotion of young scientists. Since December 1, 2021, he has been a tenured full professor at RUB. Carl-Zeiss Fellow ERCIM Alain-Bensoussan fellowship At RUB, Dr. Bondorf teaches Advanced Topics in Networking, Distributed Systems, Deterministic Network Calculus, and Seminar Distributed and Networked Systems. His research group develops tools and methodologies for deterministic network analysis with applications in industrial networking, real-time systems, and time-sensitive communications. His work bridges theoretical networking principles with practical implementations, contributing to the advancement of deterministic networking standards and protocols.

• Network Calculus
• Deterministic Networking
• Performance Modeling
• +4 more

Prof. Dr.-Ing. Ingo Viering is an Honorary Professor at TU Munich's Chair of Communications Engineering and Co-Founder/CEO of Nomor Research GmbH. He also serves as a consultant at Nokia Bell Labs. His academic role focuses on system aspects in communications, particularly in 5G networks, self-organizing networks (SON), and LTE evolution. Viering holds a PhD from the University of Ulm (2003) and a Diploma in Electrical Engineering from TU Darmstadt (1999). His research spans 5G mobility, heterogeneous networks, antenna concepts (e.g., MIMO), and cognitive radio systems. Over 50+ publications highlight his contributions to radio resource management, network slicing, and SON algorithms. Notable work includes frameworks for slice-aware resource management using AI and beamforming optimizations in 5G. His academic leadership includes guiding diploma theses in MIMO systems and antenna array concepts. Current affiliations include active teaching and research at TU Munich.

• 5G Networks
• Self-Organizing Networks (SON)
• Long Term Evolution (LTE)
• +4 more

Pau Colomer is a Researcher at the Technical University of Munich , affiliated with the Theoretical Information Technology department. His work focuses on quantum communication, information theory, and wireless networks, contributing to foundational research in quantum channel identification and network information processing. His research interests span quantum information theory , neural networks , and signal processing , with recent publications addressing deterministic identification over quantum channels, coherence theory in quantum systems, and multi-user quantum communication. These works highlight advancements in quantum channel coding , decentralized processing , and security in wireless networks . Publications demonstrate a trend toward quantum communication and network information theory , emphasizing challenges in interference modeling , entanglement transmission , and information-theoretic security . Key subfields include superlinear rates in finite output channels , decoupling mechanisms , and quantum-enhanced sensing .

• Information Theory
• Quantum Communication
• Wireless Networks
• +3 more

Marco Polverini is an active computer networking researcher with a prolific publication record spanning over a decade, with 59 publications documented from 2012 to 2025. His work primarily focuses on advanced networking technologies including Segment Routing, Software Defined Networking, and Network Function Virtualization. His research interests center around network routing optimization, traffic engineering, and network monitoring. He has made significant contributions to Segment Routing technology, developing novel behaviors for low-latency communication, black hole detection mechanisms, and traffic matrix assessment techniques. His recent work integrates artificial intelligence approaches, particularly reinforcement learning, with traditional networking protocols to create more adaptive and efficient network systems. He has also been exploring the application of Digital Twin technology for network management and optimization. Analysis of his publication trends shows a clear evolution from foundational work on energy-efficient networking and traffic engineering to more recent innovations in Segment Routing, in-band network telemetry, and AI-driven network optimization. His publications consistently appear in top networking venues including IEEE JSAC, IEEE Transactions on Network and Service Management, INFOCOM, and NOMS, demonstrating his standing within the networking research community. Throughout his career, Polverini has maintained strong collaborative relationships, particularly with Antonio Cianfrani (54 joint publications), Marco Listanti (33 publications), and Francesco Giacinto Lavacca (16 publications), suggesting he works within a well-established research group focused on next-generation networking technologies.

• Network Routing
• Segment Routing
• Software Defined Networking
• +6 more

Sven Schewe is a Professor in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He leads the AI Section and is a founding member and former leader of the Verification Group. He also has secondary affiliations with the Algorithms, Complexity Theory and Optimisation Group and the Institute for Risk and Uncertainty. Research Interests: His research centers on automata theory and game theory, particularly their applications in the verification and synthesis of reactive and safety-critical systems. He investigates infinite-duration games, automata over infinite words and trees, and develops algorithms and tools for automated verification, synthesis, and learning of optimal control strategies. His work extends to reinforcement learning with formal guarantees, cyber-physical systems, and AI safety. Recent Research Trends: His recent publications demonstrate a strong integration of formal methods with machine learning, particularly in adversarial training, neural network robustness, and model-free reinforcement learning under omega-regular objectives. He also applies formal reasoning to interdisciplinary domains such as chemical space exploration and materials science. Scientific Awards: Finalist for the ERCIM Cor Baayen Award 2010 Dr. Eduard Martin Preis 2009 GI Dissertation Award 2008 Advising and Grants: He actively supervises numerous PhD students and postdoctoral researchers. He is Principal Investigator (PI) or Co-Investigator (CI) on multiple major grants, including EPSRC Programme Grants, Royal Society Fellowships, and Horizon Europe projects. His funded research spans topics such as game theory, verification, synthesis, reinforcement learning, and risk analysis. He has hosted visiting researchers and collaborated internationally with institutions in Germany, France, India, Taiwan, and the US. Labs and Teams: He co-founded and led the Verification Group and previously led the AI Section at the University of Liverpool. These groups focus on formal methods, automata, games, and their applications in AI and safety-critical systems.

• Automata Theory
• Game Theory
• Formal Verification
• +12 more

Andreas Winter is an ICREA Research Professor at Universitat Autònoma de Barcelona and holds a Hans Fischer Senior Fellowship at TUM-IAS, Technical University of Munich. He specializes in quantum and classical information theory with affiliations at the University of Cologne's Department of Quantum Information and Computation. His research examines fundamental limits in quantum communication, entropy applications, and quantum computing foundations. Education: Diploma in Mathematics, Freie Universität Berlin Ph.D. in Mathematics, Universität Bielefeld Research: His interdisciplinary work bridges quantum Shannon theory, thermodynamics, and discrete mathematics, exploring quantum channel capacities, information tradeoffs, and cryptographic protocols. Recent publications demonstrate advances in quantum coding efficiency and high-dimensional quantum systems. Awards: 2022: Hans Fischer Senior Fellowship, Alexander von Humboldt Prize, QCMC Quantum Award 2017: IEEE Information Theory Paper Award 2012: Whitehead Prize (LMS) 2007: Philipp Leverhulme Prize Leadership: Leads the Quantum Information Theory Focus Group at TUM-IAS, collaborating with Prof. Holger Boche on quantum communication frameworks.

• Quantum Shannon theory
• Classical Shannon theory
• Entropy and applications
• +5 more

Saravanan Ramanathan serves as a Research Fellow at TUMCREATE Singapore, a research initiative established by the Technical University of Munich (TUM) in Singapore. Based in the Electrification Suite & Test Lab, he contributes to critical research in security and networking for next-generation technologies. His expertise spans: IoT Security : Developing frameworks for industrial and autonomous IoT systems Autonomous Systems Security : Addressing vulnerabilities in self-driving vehicles Time-Sensitive Networking (TSN) : Researching deterministic Ethernet for real-time industrial applications Wireless-TSN : Extending TSN capabilities to wireless domains Industrial IoT Interoperability : Enabling seamless communication across heterogeneous systems 6G Networks : Contributing to next-gen wireless via the 6G-Life hub Cybersecurity for Internet of Vehicles : Creating adaptive frameworks like nIoVe Dr. Ramanathan actively participates in high-impact projects including nIoVe (adaptive cybersecurity for Internet-of-Vehicles), Drives 5G, and ReMiX, focusing on data sovereignty and decentralized system security. His work directly supports TUMCREATE's mission to advance sustainable urban mobility solutions in Singapore and globally.

• IoT Security
• Autonomous Systems Security
• Time-Sensitive Networking
• +4 more

Dr. Sven Burger is a leading Researcher at the Zuse Institute Berlin (ZIB) within the Modeling and Simulation of Complex Processes department. His work focuses on Nanophotonics , Quantum Technologies , and Optical Resonance Computation , particularly in photonic crystals, plasmonic systems, and quantum light sources. Key projects: NanoLab GRIPS 2024 , MATH+ TES QT , MATH+ PaA-1 (perovskite solar cells), Colour Impression of Solar Cells Collaborations: MATH+ , BIFOLD , Research Campus MODAL His research spans Bayesian optimization for quantum systems, quasinormal mode expansions , chiral plasmonics , and terawatt-scale photovoltaics . Recent work emphasizes RPExpand software for resonance analysis and AAA algorithm applications in photonic design. He contributes to quantum key distribution via plug&play single-photon sources, hot carrier dynamics in plasmonic nanocrystals, and high-efficiency light extraction for deep-UV LEDs. His computational methods address non-Hermitian systems , exceptional points , and self-interference nanoparticle tracking .

• Nanophotonics
• Quantum Technologies
• Computational Optics
• +5 more

Mario Baldi is a researcher affiliated with the Polytechnic University of Turin, Italy , with significant contributions to computer networking , distributed systems , and software-defined networking . Key research themes: network function virtualization , programmable dataplanes , time-driven scheduling , and traffic analysis . Recent work focuses on RDMA-enabled compute offloading (2023) and DNN inference in network data planes (2023). Longstanding expertise in multicast routing , voice/data packet efficiency , and XML-based protocol parsing (2000–2006). Collaboration network includes Yoram Ofek , Fulvio Risso , and Han Hee Song , with 99+ publications spanning 1994–2023.

• Computer Networking
• Software-Defined Networking (SDN)
• Distributed Systems
• +3 more

Seung Yeob Shin serves as a Research Scientist at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he contributes to the Software Verification and Validation (V&V) Lab under Prof. Lionel Briand. His active participation in major software engineering conferences includes serving on ASE 2025's Research Papers Program Committee and authoring multiple journal-first publications presented at premier venues like ICSE and ESEC/FSE. Shin earned his PhD in 2016 from the Laboratory for Advanced Software Engineering Research (LASER) at the University of Massachusetts Amherst's College of Information and Computer Sciences. His research expertise centers on applying formal methods to complex software systems, with particular emphasis on model-based verification techniques. His current research program bridges theoretical modeling and practical system validation across critical domains. Key focus areas include developing simulation frameworks for software-defined networks, creating model-checking approaches for cyber-physical control loops, and establishing probabilistic methods for real-time system verification. This work consistently targets reliability challenges in safety-critical infrastructure through rigorous engineering methodologies. Recent publications demonstrate a cohesive trajectory in applying formal verification to emerging system paradigms. The 2024 journal-first papers reveal increasing sophistication in handling non-deterministic behaviors across networking, embedded systems, and requirements engineering domains, with notable emphasis on failure induction and probabilistic safety guarantees. No scientific awards were documented in the available materials. While conference contributions indicate significant scholarly engagement, no information regarding student advising or research grants appears in the provided documentation. As a core member of the V&V Lab at SnT, Shin contributes to Luxembourg's national cybersecurity research infrastructure. The lab specializes in developing mathematical frameworks for system validation, with current projects addressing verification challenges in autonomous systems, critical infrastructure, and secure communications protocols through model-driven approaches.

• Software Engineering
• Model Checking
• System Modeling
• +5 more