Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Taolue Chen
[go: Go Back, main page]

Taolue Chen

Phd Student

CWI (Centrum voor Wiskunde en Informatica)
Department of Software Engineering
Specification and Analysis of Embedded Systems Group

Vistor's address:
Kruislaan 413, NL-1098 SJ Amsterdam, The Netherlands
Room: M337
Email: (\lambda x Taolue.Chen x cwi.nl)@


Research

  • Research Interests:
      - Concurrency, Process Algebra, Mobility, Security, Structural Operational Semantics, Term Rewriting
      - Formal Verification (Model Checking and Static Analysis), Modal and Temporal Logic, Automata and Language,
        Game Theory, Finite Model Theory
      - Principle of Distributed Computing

  • My supervisor is Prof. Dr. Wan Fokkink

  • Publications

  • Bookmarks

  • Professional Activities

    • My Life

  • Personal Stuff

  • Further Links
    		•

    Contact

  • Phone: +31-(0)20-592 4162 (office); +31-0645169667 (Mobile); +31-(0)20-592 4249 (secretary); Fax: +31-(0)20-592 4199
  • Postal address: Taolue Chen, CWI, SEN2, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
  • Home address: Barcelonaplein 6, 1019 LZ, Amsterdam, The Netherlands. (Phone: +31-(0)20-418 0689 (for emergency))

    • CWI DISCLAIMER