Jonathan Bowen

computer science google scholar history of mathematics academia.edu publications community of practice formal methods z notation history of computing alan turing visualisation microsoft academic search citations collaboration education online communities software engineering science museums social science advisor tree festkolloquium cop asm egon börger festschrift history of philosophy abstract state machines polymath italian renaissance digital renaissance digital culture leonardo da vinci history code breaking philosophy mathematics universal turing machines digital archives morphogenesis orcid researchgate academic search communities social networking professional networking erdős number virtual communities visibility patterns new york digitization photography brooklyn heritage historical societies libraries cybersecurity visualization united kingdom colleges and universities higher education academic publishing high integrity systems air traffic control software testing body of knowledge knowledge community computer engineeting software methods formal wikis mw2008