Profile

Chinese Name
穆信成
 
English Name
Mu, Shin-Cheng
 
Personal Site
 
Main Affiliation
 
Loading... 9 0 20 0 false

Current Position

Research Fellow/Professor

Education

Ph.D., Computing Laboratory, University of Oxford, United Kingdom
 

Research Field

Program Inversion
Program Derivation
Functional Programming
Programming Language
Type Theory and Logic