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: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

  • Name:Fu Yuxi

    Title:Professor

    Office Phone:34205088/34204931

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

    Research Field:theoretical computer science, concurrency theory, and model theory of computer science

First Prev 1 2 3 4 5 Next End 2 / 13 Page Go to Page