ganesh@cs.utah.eduMEB 3428 | 801.581.3568Website | Google Scholar
Research InterestsArtificial Intelligence (ML and Systems); Programming Languages (Formal Verification and Testing)