Sunil Easaw Simon

I completed my PhD in August 2009 under the guidance of R. Ramanujam. Prior to joining CWI, I was a postdoc in The Institute for Logic, Language and Computation (ILLC), University of Amsterdam and a visiting researcher at the Laboratoire Specification et Verification (LSV), ENS de Cachan.

• Logical foundations of game theory
• Temporal logics and verification
• Theory of distributed systems

Postal address: P.O. Box 94079, NL-1090 GB Amsterdam.
Visiting address: Science Park 123, 1098 XG Amsterdam.

Email:

• s DOT e DOT simon cwi DOT nl
• sunils imsc DOT res DOT in

My GPG public key