Applied Scientist, Automated Reasoning Group
The automated reasoning group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain....