Formal Methods Wiki
Jonathan Bowen

Jonathan Bowen

Wikipedia-word1 7

Jonathan Bowen


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.

He is Emeritus Professor of Computing in the School of Engineering at London South Bank University since 2007. He is an Adjunct Professor at Southwest University, Chongqing, China, since 2016. He is also Chairman of Museophile Limited since 2002.

Bowen was deputy head of the Centre for Software Engineering at Birmingham City University, 2013-2015.

See also

External links