Research project using 0 A.D. as a case study

[Loother]

Hi everyone,

My name is Luther, and I am a Computer Science graduate student located in Mexico.

I am currently working on my Master's thesis, which focuses on formal verification. For my research, I am planning to use the 0 A.D. engine's network code as a case study.

I would love to get in touch via email, Discord, or any other method with a developer who is familiar with the game's network architecture to ask a few questions about it.

Any info would be highly appreciated!

Thanks,
Luther