Operating systems networking formal methods.

Netsys

World-class systems research in systems

Experts in multipath protocols (Multipath TCP, UET), lightweight virtualization (LightVM, Unikraft), network verification (Symnet, Vera, bf4) and indoor localization (AoA)

Award winning research

Best paper awards at Sigcomm and NSDI. Jochen Liedtke Young Researcher Award 2018. 28K citations on Google Scholar

Defining next generation networking for AI

Involved in standardization of Ultra Ethernet and actively developing the UCCL communication library

See more Contact us

Collaboration

Here's how you can work with us in Networking and systems research group

Joint R&D projects

Student thesis supervision (BSc, MSc, PhD)

Industry-sponsored research

Latest Research Publications

Explore our research in Networking and systems research group

Generating P4 data planes using LLMs
MIHAI VALENTIN DUMITRU, VLAD ANDREI BADOIU, Alexandru-Mihai GHERGHESCU, COSTIN RAICIU, COMPUTER NETWORKS ELSEVIER, 2025, 001578106600001 10.1016/j.comnet.2025.111709
PROSE-TO-P4: LEVERAGING HIGH LEVEL LANGUAGES
MIHAI VALENTIN DUMITRU, VLAD ANDREI BADOIU, COSTIN RAICIU, UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN SERIES C-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE POLYTECHNIC UNIV BUCHAREST, 2025, 001562110500006
Building Network Devices as a Networking Class Homework Infrastructure
VLAD ANDREI BADOIU, MIHAI VALENTIN DUMITRU, CATALIN - ADRIAN LEORDEANU, COSTIN RAICIU, Proceedings Roedunet IEEE International Conference , 2025, 10.1109/RoEduNet68395.2025.11208256
Agora: A Distributed Language Model Framework with API-Call Support for Integrated Climate Forecasting
ALEXANDRA UDRESCU, DAN MATEI POPOVICI, IEEE Access IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2025, 001489666400019 10.1109/ACCESS.2025.3568028
EfficientNet-Enhanced U-Net for Multi-Organ Thorax Segmentation
ANDREI-ALEXANDRU BUNEA, DAN MATEI POPOVICI, CIPRIAN MIHAI DOBRE, Proceedings 2025 25th International Conference on Control Systems and Computer Science Cscs 2025 IEEE, 2025, 10.1109/CSCS66924.2025.00050
Using GenAI to Assess Design Patterns in Student-Written Code
DANIEL-FLORIN DOSARU, Diana-Maria SIMION, Andrei-Horia IGNAT, LORINA CRISTINA NEGREANU, ALEXANDRU CORNELIU OLTEANU, IEEE Transactions on Learning Technologies IEEE COMPUTER SOC, 2025, 001594927900001 10.1109/TLT.2025.3604054
I’ve Got 99 Problems But FLOPS Ain’t One
Alexandru-Mihai GHERGHESCU, VLAD ANDREI BADOIU, ALEXANDRU AGACHE, MIHAI VALENTIN DUMITRU, IULIU-OCTAVIAN VASILESCU, RADU-ALEXANDRU MANTU, COSTIN RAICIU, HOTNETS 2024 - Proceedings of the 2024 3rd ACM Workshop on Hot Topics in Networks ASSOC COMPUTING MACHINERY, 2024, 001429136900023 10.1145/3696348.3696893

Top Research Publications

Explore our top research in Networking and systems research group

Ad hoc positioning system (APS) using AOA
DRAGOS STEFAN NICULESCU, 22nd Annual Joint Conference of the IEEE Computer and Communications Societies IEEE, 2003, 000184745100168 10.1109/infcom.2003.1209196
Ad hoc positioning system (APS)
DRAGOS STEFAN NICULESCU, IEEE Global Telecommunications Conference (GLOBECOM 01) IEEE, 2001, 000178714800563 10.1109/glocom.2001.965964
DV based positioning in ad hoc networks
DRAGOS STEFAN NICULESCU, Telecommunication Systems SPRINGER, 2003, 000184237400016 10.1023/a:1023403323460
TCP Extensions for Multipath Operation with Multiple Addresses
Alan FORD, COSTIN RAICIU, Mark HANDLEY, Olivier BONAVENTURE, RFC Editor, 2020, 10.17487/rfc6824
Clickos and the art of network function virtualization
COSTIN RAICIU, Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014 USENIX Association, 2014,
Improving datacenter performance and robustness with multipath TCP
COSTIN RAICIU, Sebastien BARRE, Christopher PLUNTKE, Adam GREENHALGH, Damon WISCHIK, Mark HANDLEY, Computer Communication Review ASSOC COMPUTING MACHINERY, 2011, 000302124800023 10.1145/2018436.2018467

Our Research Team

Meet the brilliant minds driving innovation in Networking and systems research group

Full Professor

Costin RAICIU

PR203

Full Professor

Dragos Stefan NICULESCU

PRECIS 203

Full Professor

Lorina Cristina NEGREANU

PRECIS 203

Associate Professor, Faculty Council

Dan Matei POPOVICI

Teaching Assistant

Vlad Andrei BADOIU

PR203

Recent books

Explore our books in Networking and systems research group

Formal Languages and Automata - Lecture Notes
DAN MATEI POPOVICI, POLITEHNICA PRESS, 2018,
Formal languages & automata
LORINA CRISTINA NEGREANU, DAN MATEI POPOVICI, Politehnica Press, 2018,
Infrastructuri și servicii pentru rețele mobile
DRAGOS STEFAN NICULESCU, POLITEHNICA PRESS, 2017,
Arhitecturi și Protocoale pentru Comunicații, Teorie și aplicații practice
MARIUS - CONSTANTIN VOCHIN, RADU CAIUS LUPU, DRAGOS STEFAN NICULESCU, Editura Politehica Press, 2016,
Advanced topics in distributed systems
COSTIN RAICIU, Politehnica Press, 2015,
Elemente de calculabilitate si complexitate
LORINA CRISTINA NEGREANU, DAN MATEI POPOVICI, POLITEHNICA PRESS, 2015,
A survey of Temporal Knowledge Representation and Reasoning
DAN MATEI POPOVICI, CIPRIAN MIHAI DOBRE, Editura Politehnica Press, 2012,