We do not have the time or the desire to try to duplicate the excellent work of Jonathan Bowen in providing links to formal methods work throughout the world. Instead we refer you to his Formal Methods Wiki and the Safety-Critical Systems Virtual Library .
Some researchers at NASA Ames Research Center also work in formal methods.
If you are interested in the applications of formal methods to areas other than just computer system development, then you may be interested in Chris Johnson's work .