Name:Deng QianniTitle:Associate Professor Office Phone:34204007 Email:deng-qn@cs.sjtu.edu.cn Research Field:Parallel Computing, Data Intensive Super Computing |
|
Name:Deng YuxinTitle: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 SchederTitle:Assistant Professor Office Phone: Email:dominik@cs.sjtu.edu.cn Research Field:algorithms for Boolean satisfiability; complexity theory; communication complexity |
|
Name:Dong XiaojuTitle: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 XiaoleiTitle: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 |