UK Network for Formal Methods in Security


The aim of this network is to connect researchers and practioners interested in formal methods for security, in the theory, in software tools and in the mix of both, to boost the development of these via collaborations.

Who are we?

We started existing in December 2020, under an initiative by Ioana Boureanu, in the UK.

The network has about about 30 members, from academia, industry and government.

We aim to meet monthly.

In 2021, we held 4 talks, as CV19 hit our normal rhythms. Now, we are being reborn in a new shape.

Previous talks

See here.


Read more about that and about us here.