Sydney Gibson

SG

Statistics

Publications

2

Citations

27

H-Index

2

Active since

2021

Affiliations

Sydney Gibson is an author at Carnegie Mellon University specializing in logic, computer science, and separation logic.

Publications per year

2021–2023

2

Publications

2