Find Academic Supervisors

Nate FosterView profile

Professor

• Programming Languages
• Networking
• Databases
• +5 more

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Sebastian SteinhorstView profile

Associate Professor

• Embedded Systems
• Internet of Things (IoT)
• Cyber-Physical Systems
• +5 more

Prof. Dr. Sebastian Steinhorst is an Associate Professor (W3-level with tenure) at the Technical University of Munich (TUM) within the Embedded Systems and Internet of Things group at the TUM School of Computation, Information and Technology . His research focuses on advancing the security, predictability, reliability, and interoperability of smart connected and autonomous systems, particularly for applications in Internet of Things (IoT) , Industry 4.0 , and automotive systems . PhD in Computer Science (2011) from Goethe University Frankfurt Postdoctoral roles at TUMCREATE Singapore (2011-2016) and Aarhus University (2016) Joined TUM in 2016 as Rudolf Moessbauer Tenure Track Professor His research areas include decentralized embedded systems, hardware/software co-design, modeling and verification of cyber-physical systems, security protocols for automotive networks, and time-sensitive networking (TSN) for industrial applications. Recent work explores blockchain-based data sovereignty, zero-knowledge proofs for vehicle authentication, and resilient architectures for autonomous systems. Key scientific contributions include the 2019 ACM TODAES Best Paper Award and pioneering work on CyberSecDome , LeapChain , and Simutack frameworks. He serves on editorial boards and conference committees, including co-organizing the Autonomous Systems Design initiative at DATE. His teaching portfolio spans lectures on System Design for IoT , Software Architecture for Distributed Systems , and IoT Security across multiple semesters. He also leads advanced seminars on embedded systems and IoT.

• Product Development Methodology
• Lightweight Structures
• Systems Engineering
• +5 more

Prof. Dr. Markus Zimmermann leads the Chair of Product Development and Lightweight Design at the Technical University of Munich (TUM). With a background in mechanical engineering from TU Berlin and the University of Michigan, and a doctorate from MIT on solid-state singularities, he bridges academic rigor with industrial application. His career spans 12 years at BMW focusing on vehicle development before transitioning to academia. Specializes in solution space engineering for robust design Expert in additive manufacturing and systems engineering Develops methodologies for managing design complexity and uncertainty His research focuses on multidisciplinary design optimization and lightweight structures , particularly in robotics and automotive systems . His team applies digital twin frameworks and attribute dependency graphs to enhance design processes. Recent publications emphasize topology optimization in robotic systems and thermal management for medical X-ray sources. Key trends in his 2024-2025 publications include: Topological optimization for additive manufacturing and robotics Application of solution spaces to manage design uncertainty Development of compact X-ray systems for medical therapy Integration of digital twin technologies in industrial contexts

Alexander PretschnerView profile

Professor

• Software Engineering
• Testing
• Information Security
• +5 more

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

• Machine Learning
• Dynamical Systems
• Control Theory
• +4 more

Michael Mühlebach is a Research Group Leader at the Max Planck Institute for Intelligent Systems in Tübingen, Germany, leading the independent Learning and Dynamical Systems group. His academic journey began at ETH Zurich where he earned his B.Sc. (2010) and M.Sc. (2013) in mechanical engineering, specializing in robotics, systems, and control. He completed his Ph.D. at ETH Zurich in 2018 under Prof. R. D'Andrea, followed by postdoctoral research at UC Berkeley with Prof. Michael I. Jordan. Dr. Mühlebach's research spans machine learning, dynamical systems, control theory, and optimization . His work bridges theoretical foundations with practical applications in robotics, developing methods that incorporate physical constraints and system dynamics into learning frameworks. His group focuses on online learning, physics-informed machine learning, and large-scale optimization for cyber-physical systems, with applications in electromagnetic navigation, robotic table tennis, and energy-efficient flight systems like the shape-changing robot Floaty . His publication record shows a strong focus on constrained optimization, with recent work exploring decision-dependent stochastic optimization, nonlinear feedback, and the theoretical foundations of reinforcement learning. His research integrates perspectives from control theory, dynamical systems, and optimization to develop algorithms with strong theoretical guarantees and practical performance. Outstanding D-MAVT Bachelor Award Willi-Studer prize for best Master's degree ETH Medal and HILTI prize for doctoral thesis Branco Weiss Fellow (2018) Emmy Noether Fellowship (2020) Amazon Fellowship (2024) Dr. Mühlebach actively mentors doctoral researchers and is seeking talented students for PhD and Master's projects. His research group has received funding from multiple prestigious fellowships and maintains collaborations across institutions including ETH Zurich, UC Berkeley, and various Max Planck research units. The group's work spans theoretical developments to practical implementations on robotic systems, demonstrating strong connections between mathematical theory and physical realization.

Björn BrandenburgView profile

Researcher

• Real-Time Systems
• Scheduling Algorithms
• Real-Time Operating Systems
• +5 more

Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.

• Self-organized criticality
• Neuronal network dynamics
• Excitation/Inhibition balance
• +5 more

Anna Levina is an Assistant Professor for Computational Neuroscience at the University of Tübingen , affiliated with the Department of Computer Science under the Faculty of Science. Her research focuses on the self-organization of neuronal activity, critical dynamics in neural networks, and the excitation/inhibition balance in cortical circuits. Current positions: Assistant Professor (since 2018), Group Leader (2017-2018), Equality Officer (Computer Science) Previous roles: IST Fellow (2015-2017), Associated Researcher (2011-2015), Postdoc/PI (2011-2015), Postdoc (2008-2011) Her research integrates mathematical modeling , statistical physics , and computational neuroscience to study criticality phenomena, neural avalanches, and adaptive network dynamics. Key interests include: Self-organized criticality in neural systems Excitation/Inhibition balance mechanisms Network topology and dynamics Timescale analysis in neural processing Stochastic modeling of neural activity Recent publications reveal trends in understanding critical dynamics across biological and artificial networks, with applications to memory systems, sensorimotor integration, and disease modeling. She has received recognition as an IST Fellow .

• Ecology
• Biostatistics
• Climate Change
• +7 more

Dr. Jonathan Lenoir is a CNRS Researcher at the Ecology and Dynamics of Anthropized Systems (EDYSAN) laboratory, University of Picardie Jules Verne , France. His work bridges Ecology and Biostatistics , focusing on ecological dynamics under spatial and temporal global changes, particularly biotic responses to climate change. His research spans broad-scale biodiversity patterns, species distribution modeling, and microclimate ecology, with special attention to forest systems. Dr. Lenoir leads and contributes to multiple research projects including MaCCMic (Impact of forest Management and Climate Change on understory Microclimate) and IMPRINT (Impacts of Microclimatic Processes on forest Biodiversity redistribution under macroclimaTe warming). These projects utilize advanced technologies like LiDAR and microclimate sensors to model understory temperature dynamics and predict biodiversity responses to climate change. His recent publications analyze microclimate buffering in forests ( 2024 ), species thermophilization ( 2024 ), and the application of deep learning to habitat identification ( 2024 ). His work also explores interdisciplinary connections like eco-oncology , comparing invasion dynamics in ecology and medicine. Dr. Lenoir actively mentors researchers and supervises fieldwork campaigns, emphasizing rigorous data collection ( 180 monitoring plots across French forests ) and advanced statistical analyses in R . He collaborates with European institutions and participates in large-scale initiatives like ReSurveyEurope , a database of resurveyed vegetation plots.

• Neuromorphic Computing
• Hardware Accelerators
• VLSI Circuits
• +5 more

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.

Gerold AlsmeyerView profile

Professor

• Theory of stochastic processes
• Stochastic fixed-point equations
• Iterated function systems
• +7 more

Prof. Dr. Gerold Alsmeyer is a faculty member at the Institute of Mathematical Stochastics, Department of Mathematics and Computer Science, University of Münster. He is an active researcher with a focus on stochastic processes, particularly stochastic fixed-point equations and iterated function systems. His work is supported by his role as an Investigator in Mathematics Münster in the project EXC 2044 - C1: Evolution and asymptotics. His primary research interests include the theory of stochastic processes, branching processes, Markov random walks, renewal theory, and the asymptotic analysis of random structures such as random trees and polytopes. He has made significant contributions to the understanding of fluctuation theory, perpetuities, and the smoothing transform. His recent publications (2017–2023) reveal a sustained focus on theoretical probability, with recurring themes in random difference equations, iterated function systems, and limit theorems for stochastic processes. The work spans pure mathematical theory and applications in mathematical biology and combinatorics, indicating a broad yet deep research profile. Prof. Alsmeyer has supervised numerous doctoral and master’s students, including Viet Hung Hoang, Christopher Eick, Philipp Godland, and Fabian Buckmann, whose dissertations cover topics in branching processes, random walks, and stochastic fixed-point equations. He has no listed scientific awards in the provided texts. He teaches courses in probability theory, mathematical statistics, branching processes, and stochastic recursion equations, demonstrating a strong commitment to academic mentoring and education.

Oliver HohlfeldView profile

Professor

• Network Security
• Network Measurements
• Internet Architecture
• +9 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
• Privacy-Preserving Technologies
• Machine Learning for Networking
• +5 more

Ke Xu is a Professor in the Department of Computer Science at Tsinghua University's School of Information Science and Technology. With extensive research contributions in network security, privacy-preserving technologies, and machine learning applications for networking, Professor Xu has established himself as a leading researcher in computer science. Professor Xu's research interests span network security, privacy-preserving technologies, machine learning for networking, federated learning, internet protocols, encrypted traffic analysis, blockchain applications, and AI in networking. His work bridges theoretical foundations with practical implementations, focusing on real-world security challenges and network optimization problems. He has developed novel frameworks for secure network operations, privacy-preserving data sharing, and efficient AI deployment in distributed environments. Professor Xu's publication record shows a clear trend toward integrating artificial intelligence with traditional networking challenges. His recent work explores federated learning security, encrypted traffic analysis using deep learning, and novel approaches to network security that leverage machine learning techniques. The interdisciplinary nature of his research spans computer networking, security, privacy, and artificial intelligence. Professor Xu has received recognition for his contributions to network security and privacy-preserving technologies through publications in top-tier venues including IEEE journals, ACM conferences, and security symposia. His work has appeared in IEEE Transactions on Dependable and Secure Computing, IEEE/ACM Transactions on Networking, and security conferences like CCS and NDSS. Professor Xu actively collaborates with researchers across institutions, supervising students and junior researchers in exploring cutting-edge problems in network security and AI. His research has been supported by significant grants focusing on network security, privacy, and intelligent networking infrastructure. He leads projects that address fundamental challenges in secure communication, privacy-preserving data analysis, and intelligent network management. Professor Xu is involved with research laboratories focusing on network security and intelligent systems at Tsinghua University. His team works on developing practical security solutions, privacy frameworks, and AI-enhanced networking protocols that address real-world challenges in today's increasingly connected world.

Gerhard MüllerView profile

Professor

• Structural Dynamics
• Vibroacoustics
• Dynamic Soil-Structure Interaction
• +5 more

Prof. Dr.-Ing. Gerhard Müller is a Full Professor at the Chair of Structural Mechanics within the TUM School of Engineering and Design at Technical University of Munich (TUM). Since 2004, he has held this distinguished position, and since 2014, he has served as Executive Vice President for Academic and Student Affairs at TUM. His research focuses on structural dynamics and vibroacoustics, with specific expertise in dynamic soil-structure interaction, sound radiation analysis, and seismic risk assessment. Professorship: Structural Mechanics University: Technical University of Munich School: TUM School of Engineering and Design Department: Chair of Structural Mechanics in Civil Engineering Prof. Müller's research spans multiple domains, including: Structural Dynamics : Examining building and vehicle vibrations, seismic soil-structure interaction, and advanced model order reduction techniques Vibroacoustics : Investigating sound radiation from vibrating structures and developing acoustic metamaterials for noise control Computational Methods : Pioneering hybrid deterministic-statistical approaches, Wave Based Methods (WBM) for saturated elastodynamic structures, and parametric model order reduction His recent publications demonstrate expertise in: Wave propagation analysis in poroelastic media Bayesian parameter updating for structural models Acoustic metamaterials for vibration control Advanced numerical methods for seismic risk assessment Hybrid ITM-FEM approaches for soil-structure interaction Energy flow analysis in timber structures Awarded the Spindler Prize in 1984 , Prof. Müller also holds significant academic leadership roles: President of European Association for Structural Dynamics (EASD) Chairman of Bavarian-French University Center (BayFrance) Active member of ASIIN accreditation agency and Bavarian Chamber of Engineers Previously served as Dean of Civil Engineering and Surveying at TUM (2010-2014) He leads the Structural Dynamic Lab (formerly Vibroacoustics Lab) and has developed interactive web apps for engineering education. His work bridges theoretical advancements with practical applications in construction acoustics, transportation noise control, and geothermal energy infrastructure analysis.

• Computer Networks
• Cybersecurity
• Distributed Systems
• +4 more

Saurabh Bagchi is a Professor at Purdue University, West Lafayette, USA. He holds a PhD in Computer Science from the University of Illinois Urbana-Champaign (2001). His research focuses on distributed systems security, networking, and embedded systems. Key areas include IoT security, cyber-physical systems resilience, and machine learning applications in edge computing. Bagchi's work spans theoretical and applied domains, addressing challenges in distributed algorithms, fault tolerance, and secure communication protocols. His contributions to firmware analysis, serverless computing optimization, and anomaly detection in industrial IoT systems have been widely recognized. He has published over 300 papers in top-tier conferences and journals such as IEEE Transactions on Dependable and Secure Computing, ACM Transactions on Sensor Networks, and CVPR. He collaborates with researchers in academia and industry to advance resilient networked systems, including projects funded by NSF and industrial partnerships. His lab explores cutting-edge topics like federated learning security, edge computing architectures, and game-theoretic approaches to cyber defense.

Serena DingView profile

Professor

• Collective Behavior
• Evolutionary Biology
• Behavioral Genetics
• +3 more

Dr. Serena Ding is a Max Planck Research Group Leader at the Max Planck Institute of Animal Behavior, where she heads the Genes and Behavior department. She leads an interdisciplinary team studying the mechanisms and evolution of collective behaviors in nematodes through genetic, neuronal, and behavioral approaches. Education: PhD in C. elegans Developmental Cell Biology, University of Oxford (2011-2016) Postdoc in C. elegans Quantitative Behavior, Imperial College London (2016-2021) B.Sc. in Biology, University of Richmond (2007-2011) Research Focus: Dr. Ding investigates fascinating collective phenomena in nematodes including towering (collective dispersal), wurmuration (density-dependent swarming), and strain-specific aggregation behaviors. Her lab combines molecular biology, neuroscience, evolutionary biology, and complex systems modeling to understand both proximate mechanisms and ultimate evolutionary drivers of these behaviors across wild nematode strains. Publication Trends: Her research emphasizes quantitative behavioral analysis and innovative imaging methodologies, as exemplified by her 2020 work developing bioluminescence-based tracking of C. elegans foraging patterns. This aligns with her group's focus on high-throughput phenotyping of natural genetic variations in behavior. Team Leadership: Dr. Ding mentors a diverse research team including: 2 postdoctoral researchers (Daniela Perez, Assaf Pertzelan) 3 doctoral students (Narcís Font Massot, Youn Jae Kang, Gopika Ranjith) 1 master's student (Iris Bernstein) 1 technical assistant (Ryan Greenway)