Prof. Jonathan P. Bowen set up this wiki↑ for use by the formal methods community.
Jonathan Bowen is the Chair of BCS-FACS. He was formerly the Treasurer.
Bowen is deputy head of the Centre for Software Engineering at Birmingham City University↑.
See also
- User:Jpbowen
- Formal Methods Wiki — announcement
- MuseumsWiki, another Wikia↑ wiki