Research Interests

 

Modal  Logic

                        Dynamic Logic

                        Epstemic Logic

                             Hybrid Logic

                        Temporal Logics

                        Model Checking

                        Dynamic Logics for Concurrent Processes

Formal Specification of Distributed Systems

                        Knowledge in Distributed Systems

                        Modal Logics of Processes

                        Process Algebra: CCS and pi-Calculus

Multi-Agent Systems