We contributed an invited blog article to the NetVerify.Fun platform: https://netverify.fun/aalwines/
Stefan Schmid gives an interview on dependable networks at ZeroOutage. more info
Fully funded PhD position in formal methods and algorithms. . more info