GradNova

G

Ganesh Gopalakrishnan

Professor

School of Computing, University of Utah

Research Interests

Artificial Intelligence (ml and Systems)

Programming Languages (formal Verification and Testing)

Formal Methods in Verification

Embedded Systems Design Techniques

Real-Time Systems Scheduling

Academic Metrics

Links

Grants