networks, queueing theory, formal methods
Sota is a visting PhD student from Science Toyko, Japan working with the team from Sep'26 to Mar'27. He is working on queueing theory for network validation.