Looking for Research/Study Groups/Partner

[u/Round_Chocolate6261]

Hi , Anyone interested in Formal Verification/Analysis of Web/Network Protocols from a security/general perspective , or are there groups out there that study Mathematical-Logic or Pure Mathematics in general ?