Scholar

Conrad Watt

Google Scholar ID: SVU1RU8AAAAJ

Assistant Professor, Nanyang Technological University

Formal Verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

629

H-index

14

i10-index

15

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

3 items

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark

2026

Cited

0

IsaMini: Redesigned Isabelle Proof Lanugage for Machine Learning

2025

Cited

0

Generically Automating Separation Logic by Functors, Homomorphisms, and Modules

Proc. ACM Program. Lang. · 2024

Cited

3

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)