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.

Eric SaxView profile

Professor

• Automotive Systems
• Autonomous Driving
• Cybersecurity
• +7 more

Prof. Dr.-Ing. Eric Sax is a Professor of Electronic Systems Engineering and Management at the Karlsruhe Institute of Technology (KIT), serving as Dean of the Department of Electrical Engineering and Information Technology (ETIT). He leads the Institut für Technik der Informationsverarbeitung (ITIV) and directs the Forschungszentrum Informatik ESS division . As Program Director of the Electronic Systems Engineering & Management (ESEM) master's program at the HECTOR School, he focuses on integrating academic and professional education. His research spans automotive systems engineering , self-learning functions , cybersecurity , and data-driven validation . Key themes include over-the-air updates, scenario-based testing, and the synergy between machine learning and automotive systems. His work addresses challenges in autonomous driving validation, software-defined mobility, and cyber-physical system security. Prof. Sax's contributions include frameworks for automotive software partitioning, cloud-enabled vehicle architectures, and methodologies for quantifying data quality impacts on perception systems. He actively collaborates with industry partners to bridge academic research with industrial application. His recent projects include OptiCAM (cloud/edge function offloading), Drive4C (autonomous driving benchmarking), and UNCOVER (data-driven security monitoring). He holds leadership roles in both KIT and the HECTOR School's technology business programs.

Zachary KincaidView profile

Associate Professor

• Program Analysis
• Formal Methods
• Programming Languages
• +4 more

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

Frank FitzekView profile

Professor

• Communication Networks
• Tactile Internet
• 5G and 6G Mobile Networks
• +4 more

Frank Fitzek serves as Full Professor holding the Deutsche Telekom Chair of Communication Networks at Dresden University of Technology, where he directs the Centre for Tactile Internet (CeTI) Cluster of Excellence and maintains association with the Faculty of Computer Sciences. His work is institutionally anchored within the School of Engineering Sciences and actively engages with 5G Lab Germany and 6G-life Hub initiatives, positioning him at the forefront of next-generation communication research. Fitzek's research spans communication networks, tactile internet systems, 5G/6G mobile technologies, network coding, quantum networking, virtual twinning, and haptic feedback systems. His recent publications demonstrate emphasis on resilient network architectures through quantum security protocols, cloud-native 5G implementations, theoretical communications frameworks, and human-computer interaction in mixed reality environments. This work consistently bridges theoretical innovation with practical testbed validations across multiple emerging technology domains. As Director of CeTI, Fitzek leads a major interdisciplinary research cluster focused on ultra-low latency networks enabling remote physical interaction. His affiliations with 5G Lab Germany and 6G-life Hub facilitate industry-academic collaboration on standardization and deployment of future communication infrastructures, with particular emphasis on network coding techniques and tactile internet applications that transform industrial automation and teleoperation scenarios.

Jelena MirkovicView profile

Academic

• Network Security
• Denial-of-Service Attacks
• Vulnerability Scanning
• +6 more

Jelena Mirkovic serves as Principal Scientist at USC Information Sciences Institute (USC/ISI) and Research Associate Professor at the University of Southern California's Thomas Lord Department of Computer Science. She has held faculty positions at USC since 2010, progressing from Research Assistant Professor to her current role as Research Associate Professor since 2017, while also serving as Project Leader at USC/ISI. Her educational background includes: PhD in Computer Science from UCLA (2003) MS in Computer Science from UCLA (2000) B.Sc. in Computer Science from University of Belgrade, Serbia (1998) Mirkovic's research spans network security, human-centered attacks, and cybersecurity experimentation infrastructure. Her work focuses on critical security challenges including botnets, denial-of-service attacks, IP spoofing, vulnerability scanning, and user-centric privacy. She has pioneered methodologies for security experiments and led major infrastructure projects including the DETER testbed and SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation). Analysis of her recent publications reveals consistent innovation across multiple security domains. Her work demonstrates strong technical depth in DDoS defense systems (particularly DNS protection), binary vulnerability analysis, privacy-preserving systems, and security experimentation infrastructure. A notable trend is her focus on bridging theoretical security concepts with practical implementation through large-scale testbeds and real-world data analysis. Her significant scientific achievements include: IEEE Senior Member distinction Best paper award at IEEE COMSNETS 2023 for DNS DDoS defense research Mirkovic has secured substantial research funding as Principal Investigator or Co-PI on numerous grants from NSF, DHS, and other agencies. Current major projects include SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation), DISCERN (Datasets to Illuminate Suspicious Computations), and modernizing DeterLab education infrastructure. She has successfully led multiple REU sites focused on cybersecurity education and workforce development. She directs the STEEL (Security Research Lab) at USC/ISI, which develops innovative security solutions through interdisciplinary research in network security, human factors in security, and cybersecurity experimentation infrastructure. The lab emphasizes practical implementations that address real-world security challenges while advancing theoretical understanding of security systems.

• Database Management Systems
• Transaction Processing
• In-Memory Databases
• +6 more

Andrew Pavlo is a Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. His research focuses on database management systems, particularly in the areas of transaction processing, in-memory databases, and self-driving database systems. He leads a productive research group that has published extensively in top database venues including VLDB, SIGMOD, and CIDR. Pavlo's research interests span database management systems, transaction processing, in-memory databases, non-volatile memory databases, and self-driving database systems. His work often bridges theoretical database concepts with practical system implementation, focusing on performance optimization, query processing, and system architecture. Recent work has explored machine learning applications for database tuning, novel storage techniques, and innovative approaches to transaction processing. An analysis of his recent publications reveals a strong focus on self-driving database systems, with significant work on the Database Gym framework for training machine learning models to optimize database performance. His research also examines columnar storage formats, transaction scheduling, and novel approaches to user-defined function optimization. The work demonstrates a consistent trajectory toward making database systems more autonomous and efficient through a combination of systems techniques and machine learning. Pavlo has been instrumental in mentoring numerous PhD students who have become active contributors to the database research community. His research has been supported by significant grants that have enabled the development of innovative database technologies and frameworks. His research group operates within CMU's vibrant database ecosystem, collaborating with other researchers on projects related to database systems, storage engines, and query processing frameworks. The group maintains close connections with industry partners to ensure practical relevance of their research contributions.

Gero MühlView profile

Professor

• Distributed systems
• Distributed algorithms
• Event-based systems
• +7 more

Prof. Dr.-Ing. habil. Gero Mühl is a W2-Professor at the University of Rostock, where he holds the chair for "Architecture of Application Systems" since October 2009. His academic journey includes positions as a Heisenberg Fellow at the Technical University of Berlin (2009), postdoctoral research at TU Berlin (2002-2009), and doctoral studies at TU Darmstadt where he received his Dr.-Ing. degree with distinction in 2002. He completed dual Diplomas in Computer Science (Dipl.-Inform.) and Electrical Engineering (Dipl.-Ing.) from FernUniversität in Hagen in 1998. Prof. Mühl's research focuses on Self-Organizing Distributed Systems , with particular expertise in distributed systems, distributed algorithms, event-based systems, middleware, energy-efficient systems, organic computing, sensor networks, web services, and electronic commerce. His work bridges theoretical foundations with practical implementations in real-world distributed environments. His recent publications show a strong trend toward time-sensitive networking, content-based publish/subscribe systems, and P4 programmable data planes. These works address critical challenges in industrial communication, real-time systems, and network reliability. His research group has made significant contributions to making distributed systems more autonomous, reliable, and efficient. Scientific awards and recognitions include: Nomination for the Berlin Science Award for Young Scientists (2008) Heisenberg Fellowship by the German Research Foundation (DFG) (2008) Best paper award in System Software and Security at SAC 2015 Prof. Mühl has been actively involved in numerous research projects and collaborations, particularly focusing on self-organizing and self-stabilizing systems. His work on the REBECA publish/subscribe middleware represents a significant contribution to autonomous distributed systems. He has supervised numerous students and researchers, contributing to the development of the next generation of computer scientists specializing in distributed systems. His laboratory at the University of Rostock focuses on practical implementations of self-organizing distributed systems, with current projects investigating time-sensitive networking, publish/subscribe systems, and energy-efficient distributed computing. The team combines theoretical analysis with practical system development to address real-world challenges in industrial and commercial applications of distributed systems.

Michael WeyrichView profile

Professor

• Industrial Automation
• Digital Twins
• Large Language Models (LLMs)
• +7 more

Prof. Michael Weyrich is a faculty member at the Institute of Industrial Automation and Software Engineering (IAS) within the University of Stuttgart , leading the Cluster of Excellence IntCDC . His academic rank is Professor, and he focuses on Industrial Automation , Digital Twins , and Large Language Models (LLMs) for manufacturing and automotive systems. His research explores integrating LLMs into industrial automation for adaptive control, cloud offloading of vehicle functions, and semantic interoperability via Asset Administration Shells . He investigates modular production architectures , connected vehicle systems , and synthetic data generation for autonomous machinery. Recent publications highlight LLM-driven production planning , dynamic sensor calibration , and machine learning for fault detection in electric vehicle powertrains. His work emphasizes real-time data modeling and flexible microservice orchestration .

• Network Security
• Cloud Security
• Internet of Things Security
• +5 more

Rémi Badonnel is a Professor in the Department of Computer Science at the University of Lorraine's Faculty of Science and Technology, affiliated with the LORIA research laboratory in France. With over 20 years of research experience, his work focuses on network security, cloud security, and network management systems. His research interests span multiple critical areas of cybersecurity including Network and cloud security architecture Internet of Things security frameworks Software-defined networking security Automated security configuration systems Cybersecurity education and workforce development His work often combines theoretical foundations with practical implementations, particularly in the areas of formal verification for security policies and machine learning applications for threat detection. Analysis of his recent publications (2021-2025) reveals a strong focus on cloud security challenges, particularly around service composition, migration security, and formal verification methods. His work increasingly incorporates AI/ML techniques for security automation while maintaining strong theoretical foundations in network management principles. His research shows consistent collaboration with European institutions, particularly in cybersecurity education initiatives. As an academic leader, he has supervised numerous researchers including Martín Barrère, Anthéa Mayzaud, Adrien Hemmer, and Nicolas Schnepf, who have co-authored multiple publications with him. His editorial roles for IEEE Transactions on Network and Service Management demonstrate his standing in the network security research community.

• Wireless Communications
• Network Security
• Quality of Experience (QoE)
• +7 more

Tasos Dagiuklas is a Professor in the Department of Computer Science and Technology within the School of Engineering and Technology at the University of Bedfordshire. With over 168 publications spanning from 1995 to 2025, he has established himself as a leading researcher in telecommunications and network systems. His extensive publication record demonstrates continuous scholarly contribution across multiple decades in the field. Professor Dagiuklas' research focuses on wireless communications, edge computing, 5G/6G networks, quality of experience (QoE), and federated learning . His work bridges theoretical networking concepts with practical applications, particularly in multimedia delivery and security. He has developed significant expertise in video streaming optimization, network security mechanisms, and resource management in emerging network architectures. His research consistently addresses the evolving challenges of modern communication systems, with recent work increasingly focusing on AI integration in networking. Analysis of his recent publications (2023-2025) reveals a strong trend toward edge computing, federated learning, and security applications in next-generation networks. His work demonstrates a strategic shift from traditional networking concerns to more complex systems involving AI integration, energy efficiency, and heterogeneous environments. The publications show consistent collaboration with researchers across multiple institutions, with particularly strong partnerships with Muddesar Iqbal, Ilias Politis, and Stavros Kotsopoulos. Professor Dagiuklas has made substantial contributions to the academic community through his extensive publication record in high-impact venues including IEEE journals and conferences. His work has evolved from foundational networking research to cutting-edge investigations of AI-enhanced communication systems, reflecting the broader trajectory of the field itself. His research demonstrates both technical depth in specific networking challenges and breadth across multiple application domains.

Lionel C. BriandView profile

Professor

• Software Engineering
• Software Verification and Validation
• Trustworthy AI
• +6 more

Lionel C. Briand is a Professor of Software Engineering with shared appointments at the University of Luxembourg's SnT Centre for Security, Reliability, and Trust and the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Canada Research Chair (Tier 1) in Intelligent Software Dependability and Compliance and serves as Director of Lero, Ireland's national software research center. His academic leadership spans over 25 years of collaborative research with industry partners across automotive, aerospace, energy, financial, and legal domains. Professor Briand's research focuses on software verification and validation, trustworthy AI systems, model-driven engineering, and empirical software engineering methodologies. His work bridges theoretical foundations with industrial applications, particularly in cyber-physical systems where machine learning components interact with safety-critical control systems. He has pioneered techniques for testing AI-enabled systems, GDPR compliance automation, and mutation analysis for space systems. His publication portfolio demonstrates consistent innovation in software testing, with recent emphasis on large language models for test generation, automated compliance checking, and safety analysis of deep neural networks. Key trends include black-box testing methodologies, metamorphic testing for security, and search-based approaches for DNN validation. IEEE Fellow and ACM Fellow IEEE Computer Society Harlan Mills Award (2012) ACM SIGSOFT Outstanding Research Award (2022) IEEE Reliability Society Engineer-of-the-Year Award (2013) ERC Advanced Grant recipient (2016) Fellow of the Academy of Science, Royal Society of Canada (2023) ICSE 2011 Most Influential Paper Award As Director of Lero and holder of a Canada Research Chair, Professor Briand leads major research initiatives including an ERC Advanced Grant on cyber-physical system modeling and testing. His industrial collaborations generate substantial grant funding, particularly in automotive safety validation and regulatory compliance automation. He mentors numerous researchers through his dual appointments and serves on program committees for top software engineering conferences. Professor Briand directs research activities at the SnT Centre's SVV department, focusing on software verification and validation. His team develops practical tools like MASS for space system mutation analysis and COREQQA for compliance requirements understanding, with strong industry adoption in automotive and aerospace sectors.

• Telecommunication Networks
• Distributed Machine Learning
• Edge Computing
• +5 more

Falko Dressler is a Full Professor and Chair for Telecommunication Networks at the School of Electrical Engineering and Computer Science, Technische Universität Berlin. He holds a Ph.D. and M.Sc. in Computer Science from Friedrich-Alexander University of Erlangen-Nuremberg (1998-2003). His research focuses on next-generation wireless systems , distributed machine learning , edge computing , and applications in Internet of Things (IoT) , cyber-physical systems , and internet of bio-nano-things . Editorial roles: IEEE Trans. on Mobile Computing, Elsevier Computer Communications, IEEE/ACM Trans. on Networking Conference leadership: IEEE INFOCOM, ACM MobiSys, IEEE VNC Textbooks: Self-Organization in Sensor and Actor Networks (Wiley), Vehicular Networking (Cambridge) Recent publications highlight trends in Edge Computing Resilience and 6G Network Architecture , with a strong emphasis on Molecular Communication , Terahertz Band Synchronization , and Federated Learning in vehicular environments. Scientific contributions include multiple IEEE Fellow , ACM Fellow , and VDE ITG Prize 2023 recognitions. Advisory and professional activities include membership in the German National Academy of Science and Engineering (acatech), IEEE COMSOC Conference Council, and ACM SIGMOBILE Executive Committee. His work spans cooperative driving, ultra-low power sensor networks, and security in nano-communication systems.

Amr RizkView profile

Professor

• Networking
• Communication Systems
• Network Calculus
• +5 more

Professor Amr Rizk is the Director of the Networks and Communication Systems (NCS) Lab at the University of Duisburg-Essen, where he has been serving as Professor since April 2021. Previously, he was Assistant Professor at Ulm University (2019-2021) and completed his habilitation at TU Darmstadt in 2019. His academic journey includes research positions at prestigious institutions including University of Massachusetts Amherst, University of Warwick, and TU Darmstadt where he was an Athene Young Investigator. Professor Rizk's research spans multiple aspects of networking and communication systems with a particular focus on network performance analysis, stochastic modeling, and practical implementations. His work bridges theoretical foundations with real-world applications, especially in content delivery, video streaming, and network protocols. He has made significant contributions to network calculus, quality of experience optimization, and novel approaches to congestion control and caching mechanisms. His publication record demonstrates consistent high-impact contributions across top networking conferences and journals. Recent work shows a growing emphasis on programmable data planes, AI/ML applications in networking, and advanced techniques for network measurement and performance prediction. His research group at Duisburg-Essen maintains strong connections with both academic and industrial partners in the networking ecosystem. Best Paper Award at ACM MMSys Conference (2023) Distinguished TPC Member for IEEE INFOCOM (2020, 2022) Best Paper Award at ACM/USENIX Middleware Conference (2017) Athene Young Investigator Award, TU Darmstadt (2017) Professor Rizk serves as Associate Editor for Elsevier Computer Communications and has extensive experience with research funding bodies as a reviewer. His leadership extends to conference organization, including roles as PC Co-Chair for IEEE MIPR (2023) and Steering Committee member for Workshop on Network Calculus (2022). He maintains active participation in numerous top networking conferences as Technical Program Committee member, reflecting his standing within the international networking research community.

• Wireless Communications
• Signal Processing
• MIMO Systems
• +3 more

Konstantinos Nikitopoulos is a Professor at the University of Surrey , UK, specializing in Wireless Communications and Signal Processing . His research focuses on MIMO Systems , Open-RAN , and Non-Linear Processing for next-generation wireless networks. His recent work explores Analogue Processing for Tbps Wireless Systems and Neuromorphic Computing in MU-MIMO detection. He has developed frameworks like MIMO-SoftiPHY and SACCESS for software-based radio acceleration and power-efficient network design. Key Publications : Power-Efficient RIC, NL-COMM, NeuroMIMO Collaborators : Rahim Tafazolli, George Katsaros, Marcin Filo His research impacts 6G Network Development through innovations in Beamforming , Channel Estimation , and Software-Defined Radios .

• 5G/6G Networking
• Network Slicing
• Intent-Based Networking
• +5 more

Adlen Ksentini is a Professor at EURECOM, a leading graduate school and research center in Sophia Antipolis, France, specializing in digital science and communication systems. His extensive research focuses on next-generation mobile networks (5G/6G), network management, and the integration of artificial intelligence with telecommunications infrastructure. Dr. Ksentini actively contributes to major EU research initiatives including 6G-BRICKS and AC3, serving as a key researcher and project leader in the development of future network architectures. Dr. Ksentini's research interests center around network slicing, intent-based networking, edge computing, and the application of machine learning to network management problems. His work bridges theoretical advancements with practical implementations in 5G/6G systems, with particular emphasis on zero-touch network management, energy efficiency optimization, quality of service assurance, and the integration of large language models with network operations. His research has significantly contributed to the development of O-RAN (Open Radio Access Network) frameworks and the evolution of network automation. His recent publication trends reveal a strategic shift toward AI-native network architectures, with increasing focus on integrating large language models (LLMs) with network management systems. His work demonstrates a clear progression from traditional network management approaches to more autonomous, AI-powered systems capable of intent-based configuration, self-optimization, and predictive maintenance. The publications show strong emphasis on practical implementations within the 6G research ecosystem, addressing critical challenges in network slicing, resource allocation, and energy efficiency. As a research supervisor, Dr. Ksentini mentors several PhD students including Abdelkader Mekrache, Karim Boutiba, Bouziane Brik, and Houda Hafi, who frequently appear as co-authors on his publications. His research is primarily funded through major EU research projects such as 6G-BRICKS (Building Reusable Testbed Infrastructures for Cloud-to-Device Breakthrough Technologies) and AC3 (which focuses on Cloud Edge Continuum). Dr. Ksentini is actively involved with the 6G-BRICKS project consortium and the AC3 project team, where he contributes to developing next-generation network architectures that integrate communication, computing, and sensing capabilities. His work within these projects focuses on creating reusable testbed infrastructures and addressing security and trust management challenges in the cloud-edge continuum.