The Formal Methods Group works on the foundations of computation, developing logical and probabilistic frameworks for areas of computer science encompassing imperative and logical programming, concurrent and distributed computing, computer security and artificial intelligence.
