Detailed Information
Shin-Cheng Mu
Ph.D. Ph.D., University of Oxford
Office : Building I, College of Management 716
Tel : (02)27883799#1730
Fax : (02)27824814
Office Hour :
Related Link :
Research Field
• Program Inversion
• Program Derivation
• Functional Programming
• Programming Language
• Type Theory and Logic
Research Field Summary