About Me
Henrik Karlsson is a software developer and researcher building secure real-time operating systems and using HOL4 as a verification tool.
Henrik Karlsson is a software developer and researcher building secure real-time operating systems and using HOL4 as a verification tool.