🍊
Ciallo~(∠・ω< )⌒★
Ph.D. student @PrincetonUniversity; focusing on formal methods for distributed & agentic systems; agents for code verification
- Princeton, NJ
-
20:10
(UTC -05:00) - https://www.cs.princeton.edu/~dh7120/
- @1SHL10
Highlights
- Pro
Search results
0 open and 0 closed projects found.-
There aren't any projects yet