What is Jonathan Bowen known for in computer science?
I am primarily known for my work in formal methods, particularly in the context of hardware verification. This involves using mathematically precise techniques to prove the correctness of computer hardware designs, aiming to eliminate errors early in the development process. My research also extends into the history and philosophy of computing, exploring the foundational principles and evolution of the field.
Ask Jonathan Bowen the follow-up →