Logic, programming, and type systems
2 works
I
Isaac Potoczny-Jones
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
2
Papers
12
Citations
1
h-index
1
i10-index
Isaac Potoczny-Jones is an academic researcher from Galois (United States). The author has contributed to research in topics: Logic, programming, and type systems & Security and Verification in Computing & Parallel Computing and Optimization Techniques. The author has an h-index of 1, co-authored 2 publications.
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat