Check out this story featuring CyberSEA lab member James Baak. James is an Ericsson Fellow and master’s student who has a passion for formal methods. Read about how James is addressing security concerns in the design and development of 5G systems:
Ericsson Fellow and Grad Student James Baak has a Passion for Formal Methods