Sunil Easaw Simon
I have joined CWI, Amsterdam. You can find my new homepage here.
Research interests
- Logical foundations of game theory
- Temporal logics and verification
- Theory of distributed systems
Selected Publications
Contact Details
Email:
- s DOT e DOT simon
cwi DOT nl
- sunils imsc DOT res DOT in