🍊
Ciallo~(∠・ω< )⌒★
Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems
-
@PrincetonUniversity; LEANing at @aws
- Boston, MA
-
16:21
(UTC -04: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