Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • Home
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
  • Explore by
    • Organizations
    • Researchers
    • Research Outputs
    • Projects
  • Academic & Publications
  • Sign in
  • 中文
  • English
  1. Scholars Hub of the Academia Sinica
Academia Sinica / Division of Mathematics and Physical Sciences / Institute of Information Science

Mu, Shin-Cheng

Network Lab View Statistics Email Alert RSS Feed

  • Resume
  • Publications 3
  • Project

Profile

Chinese Name
穆信成
 
English Name
Mu, Shin-Cheng
 
Personal Site
個人網頁 / Personal Website
 
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
 
 

Claim Researcher Page

Contact via feedback form

If you want contact administrator site clicking the follow button 
Explore by
  • Academic & Publications
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback