Jonathan Bowen, profile picture

Jonathan Bowen

Sort by
BCS-FACS Peter Landin Semantics Seminar - Formal Methods: Whence and Whither?
Digital Cultural Heritage and Artificial Intelligence: Whence and Whither?
Formal Methods: Whence and Whither? [Martin Fränzle Festkolloquium, 2025]
Formal Methods: Whence and Whither? (keynote)
Communities and Ancestors Associated with Egon Börger and ASM
Alan Turing and Oxford
The Digital Renaissance from da Vinci to Turing
Alan Turing: Founder of Computer Science
Online Academic Tools for Engagement
Visibility and visualisation of scholarly publications online: Erdős and beyond
Patterns in scholarly publications online: Erdős and beyond
The Brooklyn Visual Heritage Website: Brooklyn’s Museums and Libraries Collaborate for Project CHART
Online Communities: Visualization and Formalization.
Computer science education in universities
Making scholarly publications accessible online