Welcome to Yuting Chen's Homepage

　

　

Yuting CHEN, Assistant Professor

陈　雨亭

　

Education

· Yuting Chen received the B.S. and M.S. degrees in Computer Science from Nanjing University, China, in 2000 and 2003, respectively. He received the Ph.D. degree in Computer Science from Hosei University in 2007. After that, he continued his research in University of Texas at Dallas as a research scholar. He joined the Software School at SJTU in 2008.

Research Interests

· Dependable Systems Development Based on Formal Engineering Methods - Modeling, Technical Review, and Testing

· Software Verification and Validation

· Applied Formal Methods

· Software Development

· Model Transformation

· Parallel Computing

· UML

· Program Analysis Techniques and Program Slicing

Publications

· My publications can be found here.

Teaching

· Parallel Computing, Fall, 2011

· Programming in C++, Fall, 2011

· Summer Project, Summer, 2011

· Compiler Techniques, Fall, 2011

· Software Architecture, Fall, 2011

Recent Events

· Help to organize the Dragon Star course

Photos (Please wait...)

Links

SJTU

• Shanghai Jiaotong University
• STAP(Software Theory and Practice) Group, Shanghai Jiaotong University
• School of Software, Shanghai Jiaotong University

HOSEI

• Hosei University
• Software Engineering Laboratory for Dependable Systems (SELDS), Hosei University
• Prof. Shaoying Liu's Homepage

NJU

• Nanjing University
• NJU Software Engineering Group

Contact me

· School of Software Building Room 1107, Shanghai Jiaotong University, Shanghai 200240, China

· 0086-21-34206975

· chenyt at(@) cs.sjtu.edu.cn