Research Fellow/Professor |
Mu, Shin-Cheng
Research Interests
Program Inversion
Program Derivation
Functional Programming
Programming Language
Type Theory and Logic