Anoud Alshnakat is a PhD researcher in Formal Methods at KTH Royal Institute of Technology in Stockholm, where her work focuses on verifying and securing P4 data-plane programs (HOL4P4 and TAP4S). She’s especially interested in bringing formal methods closer to how developers actually write and reason about network code.

Aris is a former network engineer/specialist with experience working in networking vendors/operators and is currently conducting research and development on software-based testbeds and products at Singapore Institute of Technology (SIT) for next-generation networking, Internet operation, and cybersecurity. He has also served as an ambassador for the Open Networking Foundation (ONF) between 2018 and 2023 to promote open-source networking in South-East Asia, and he is currently part of the Asia Pacific Network Information Center (APNIC) community trainer program to educate on emerging networking technologies.

Fabricio Rodriguez is a Research Scientist at Telefonica, working on programmable networks and security. He holds a Ph.D. in Electrical Engineering from UNICAMP, focused on low-latency in-network applications. His principal interests include exploring the capabilities of programmable data planes, advancing edge computing solutions, and enhancing the integration of AI in networks.

Francisco Vogt is a fourth-year Ph.D. student at the Universidade Estadual de Campinas (UNICAMP). His research interests include network emulation, traffic generation, network digital twins, and application acceleration through in-network computing.

Dr. Jinhua Guo is the founder and director of the Vehicular Networking Systems Research Laboratory and an Associate Professor in the Department of Computer and Information Science at the University of Michigan–Dearborn. Dr. Guo’s research addresses a broad range of topics in experimental computer systems, including data center networking, vehicular networking, mobile computing, cloud computing, and security and privacy.

Lucas Trombeta serves as a professor at the Municipal University of São Caetano do Sul, where his research is centered on education in computer networks and P4 programmable data plane programming, encompassing co-authorship of the P4Docker and P4Checkers projects.

Engineering leader with 15+ years of experience delivering high-performance cloud-native platform for enterprise and telco stack and scaling high-performing teams. A P4 open-source contributor and ONF Ambassador, he is deeply passionate about driving the adoption of open, programmable, and silicon-aware networking architectures across cloud and telecom platforms.

Salvatore is an Italian research scientist with a background in computer science and engineering. He works in the area of computer networking, with main research interests in protocols and architectures for networked systems and network monitoring. He is currently based in Portugal, where he works as an assistant professor at the Computer Science Department at NOVA University Lisbon.

Tomasz Osiński is a Software Engineer at XSight Labs and Assistant Professor at Warsaw University of Technology. He’s passionate about building high-performance, programmable networked systems at the intersection of research, innovation and engineering.