Chinese
English
Research Fellow/Professor  |  Mu, Shin-Cheng  
 
contact
vita
education
experience
interests
descriptions
activities
invited_visit
publications
supervised
Personal (New window)
 
 
 
 
 
Research Interests
 
  • Program Inversion
  • Program Derivation
  • Functional Programming
  • Programming Language
  • Type Theory and Logic
  •  
     
    bg