Who We Are
Adam Rifkin
- Seventh-year at Caltech with K. Mani Chandy
- Microsoft Research, HP Labs, Rome Labs, NASA
- Studying the semantics of event models
- Can formal specification help explain the behavior and performance of distributed systems?
Rohit Khare
- Second-year at UC Irvine with Richard Taylor
- W3C, Web Journal, MCI Internet Architecture
- Studying the design of application-layer protocols
- How did all these TPs evolve? Are they converging?