People
Interests:
Decidability Theory, Automata Theory, Modal, Temporal and Epistemic Logics, Theory of Distributed Systems, Security Theory, Game Theory
Contact
- JavaScript is required to reveal this message.
Decidability Theory, Automata Theory, Modal, Temporal and Epistemic Logics, Theory of Distributed Systems, Security Theory, Game Theory