Research Interests
 
  • Program Inversion
  • Program Derivation
  • Functional Programming
  • Programming Language
  • Type Theory and Logic
    		•
     
    		 
    bg