I began writing cybersecurity website content for Galois in 2019. Galois works on technologies that will pave the way for software correctness. Software correctness just means making sure the software does what it intends to do.
Software that doesn’t do what it was intended can be hacked. Or it is so bug-ridden that it needs constant patching. Which is, essentially, all software. I believe in Galois’s mission, which is why I enjoy writing about what they do.
Verona: A Platform for Developing and Deploying Secure Computation for Data Scientists
