Computer Science & Engineering

 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
  • Name:Deng Qianni

    Title:Associate Professor

    Office Phone:34204007

    Email:deng-qn@cs.sjtu.edu.cn

    Research Field:Parallel Computing, Data Intensive Super Computing

  • Name:Deng Yuxin

    Title:Associate Professor

    Office Phone:

    Email:deng-yx@cs.sjtu.edu.cn

    Research Field:Concurrency theory; Programming semantics; Type theory; Language-based security; Models for probabilistic computation; Formal verification.

  • Name:Dominik Scheder

    Title:Assistant Professor

    Office Phone:

    Email:dominik@cs.sjtu.edu.cn

    Research Field:algorithms for Boolean satisfiability; complexity theory; communication complexity

  • Name:Dong Xiaoju

    Title:Associate Professor

    Office Phone:34205060

    Email:dong-xj@cs.sjtu.edu.cn

    Research Field:Concurrency Theory, in particular process calculi and Petri nets; Membrane computing; Systems biology, especially formal models for biological systems

  • Name:Dong Xiaolei

    Title:Professor

    Office Phone:34204399

    Email:dong-xl@cs.sjtu.edu.cn

    Research Field:Number Theory, Modern Cryptography, Trusted Computing

First  Prev 1  Next  End 1 / 1 Page Go to Page