![Blue surfaces covered in binary code Tunnel composed by zeros and ones in a concept of cloud computing, data storage and processing](/content/dam/images/science/math-stats/websites/2022-01-science-maths/2022-01-Science-Maths-istock_91825333_xlarge.cropimg.width=335.crop=video.jpg)
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.