3 ms·Formal methods and distributed systems. I'm also fairly knowledgeable about quantum computing.by ahelwer 5y agoFormal methods and distributed systems. I'm also fairly knowledgeable about quantum computing.