Steven Obua is a mathematician and computer scientist known for his contributions to the field of formal methods and theorem proving. He has worked on interactive proof assistants like Isabelle, a popular tool used for writing and checking mathematical proofs. Obua has focused on improving the accessibility and collaboration in formal proof development.
One of his notable projects is ProofPeer, a platform designed to make formal proofs more collaborative by enabling mathematicians and computer scientists to work together over the internet. The goal of ProofPeer is to create a social network for formal proofs, allowing for shared efforts in advancing the field.
Obua's work often intersects computer science and mathematics, emphasizing the importance of formal verification in software development and mathematical proof. His contributions help in ensuring that complex systems behave as intended, which is crucial in areas where reliability is paramount.
| Coauthor | Papers Together |
|---|---|
| Jacques Fleuriot | 7 |
| Tobias Nipkow | 7 |
| Thomas C. Hales | 6 |
| Roland Zumkeller | 6 |
| Phil Scott | 5 |
| Sean McLaughlin | 5 |
| John Harrison | 5 |
| David Aspinall | 4 |
| Mark Adams | 4 |
| Jason Rute | 3 |
| Cezary Kaliszyk | 3 |
| Victor Magron | 3 |
| Alexey Solovyev | 3 |
| Ky Vu | 3 |
| Hoang Le Truong | 3 |
| Joseph Pleso | 3 |
| Josef Urban | 3 |
| Gertrud Bauer | 3 |
| Diep Thi Trieu | 2 |
| Truong Quang Nguyen | 2 |
| Mark Raymond Adams | 2 |
| Dat Tat Dang | 2 |
| An Hoai Thi Ta | 2 |
| Phil Scott | 2 |
| Trung Nam Tran | 2 |
| TAT DAT DANG | 1 |
| TAT THANG NGUYEN | 1 |
| John Harrison | 1 |
| Nam Trung Tran | 1 |
| Thang Tat Nguyen | 1 |
| S. McLaughlin | 1 |
| Thang Tat Nguyen | 1 |
| Thi Hoai An Ta | 1 |
| THI DIEP TRIEU | 1 |
| QUANG TRUONG NGUYEN | 1 |