Process Algebra

Kohei Honda asynchronous pi calculus, typed pi calculus, etc.

Andrew D. Gordon typed pi calculus, spi calculus, mobile amibent, etc.

G¨¦rard Boudol security analysis of pi calculus, typed pi calculus, etc.

Michele Bugliesi typed pi calculus, typed mobile ambient, security analysis of pi calculus etc.

Security Analysis

Jianying Zhou design of security protocols, analysis of non-repudiation and fairness for security protocols, etc.

Peng Li security languange analysis, information flow analysis, etc.

Ralf K¨¹sters security protocol analysis, etc.

Iliano Cervesato security protocol analysis(Kerberos), process calculi, etc.

Anupam Datta computer and network security analysis, privacy, etc.

Marco Pistore verification of web services, etc.

Alessandro Armando analysis of security protocols based on SAT solver, etc.

David Basin information security, OFMC, etc.

Formal Verification and Model Checking

Rajeev Alur visibly pushdown automata, timed automata, alternating-time temporal logic, etc.

Moshe Y. Vardi applications of logic to computer science, computer-aided verification and reasoning, etc.

Luke Ong game semantics, verification and software model checking, etc.

Dale Miller proof theory, automated deduction, proof search, etc.

Ken McMillan symbolic model checking, bounded model checking, SMV, etc.

Ahmed Bouajjani model checking concurrent/multithreaded infinite system with PDS

Patrick Cousot abstraction interpretation, etc.

Thomas A. Henzinger lazy abstraction, Blast, etc.

Natarajan Shankar linear logic and proof theory, PVS theorem prover, etc.

Alwen Tiu logical framework for reasoning about computations, HOAS, verfication on pi calculus, etc.

A. Prasad Sistla model checking in concurrent and distributed systems, semantics of concurrent programs, etc.

Parosh Aziz Abdulla model checking, verification on timed system, etc.

Clare Dixon model checking for mobile systems, etc.

Ping Yang verification techniques for mobile systems, logical encoding for pi calculus, etc.

Brigitte Pientka type theory, theorem proving, and logical frameworks, etc.

Joel Ouaknine Modelling, analysis, and verification of real-time and probabilistic systems, etc.

Game Theory

Christos H. Papadimitriou complexity of equilibria, etc.

Yishay Mansour computational learning theory, etc.

Guoqiang Li
Last modified: Tuesday, May. 8, 2007.