有没有同对 formal methods 感兴趣的 v 友

[LukeXuan]

感觉这一方面的信息在 V2EX 上面很少，不知道找不找得到同好。