JamesGallicchio
PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
Carnegie MellonPittsburgh, PA
JamesGallicchio's Followers
- abigalekimCarnegie Mellon University
- ajprabhu09Pittsburgh, Pennsylvania
- aricursionPittsburgh, PA
- beike-zh
- bokken12
- CasualSoftware
- ccodel
- duvalljRoam HQ, Inc.
- elucidiumPalo Alto Networks
- fanpuJane Street
- gonzalezjoStudent
- jacobneuNottingham, England, UK
- joewatt95
- kevinazhou150
- kopecsSemgrep
- ktbookerCarnegie Mellon University SCS
- mo271Google Research
- mohamedrezk122Ain Shams University
- sanjaysalem17Apple
- T-Brick@rabbit-hmi
- TheNumbatJane Street
- yosefAlsuhaibani@returntocorp