4 ms·What subfield would that be?by aeonflux 5y agoWhat subfield would that be?ahelwer 5y agoFormal methods and distributed systems. I'm also fairly knowledgeable about quantum computing.