Guest

Theme

Starting your chat with Jonathan Bowen…

ABOUT

JB

Jonathan Bowen

b. 1956

View full profile →

Jonathan Bowen (b. 1956) is a prominent figure in computer science, particularly recognized for his contributions to formal methods, hardware verification, and the history and philosophy of computing. His work often bridges theoretical computer science with practical engineering concerns, emphasizing rigor and clarity in both design and explanation.

Computer Science

WORKS

Formal Methods in Computer Science
The History and Philosophy of Computing
Hardware Verification

0 discussions