Personal 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
Education
• Ph.D., University of Oxford
Courses
• Programming Language
Honors
No Data Available
Experience
No Data Available
Conference Paper
No Data Available
Journal Paper
No Data Available
Book
No Data Available
Book Paper
No Data Available
Technical Report
No Data Available
Other
No Data Available