🎉 Shout out to Galois intern Mark Moeller, who (with coathors) is presenting his paper “Active Learning of Symbolic NetKAT Automata” at #PLDI2025 in Seoul on Wed, June 18!
If you’re at PLDI, swing by to say “Hi,” chat about Galois, and nerd out on automata & #NetKAT for packet-switched networks!
1
0
0
0